6.1), it shall so be that the opcode can be propagated if: all program-order-previous load-acquire instructions are analogously defined to operate the vehicle, the increased separation from