Ah, I see; that's talking about changing certain behaviours from undefined to well-defined; I was talking about requiring the compiler to pick sane realizations

Ah, I see; that's talking about changing certain behaviours from undefined to well-defined; I was talking about requiring the compiler to pick sane realizations of behaviours that are not well-defined.