Comment by movpasd

My comment was really about language semantics. Compilers should respect the semantics and, for instance, only re-order a(); and b(); if there is no data dependency between them and therefore no consequence to exchanging them. But that's in theory: all abstractions leak.