The notion of "local examination of two insns" is hardly one that can be sensibly translated to the semantics of the C programmer!