This is a good positive model of UB, fulfilling the compiler assumptions.