But I assume that both on compiler and on machine, the evaluation is still conforming to the semantics of the C abstract machine?