§ Undefined behaviour is like compactification [TODO ]