I appreciate the correction. Although it should be said that modern implementations tend to opt to assume that UB never happens.