Carve out some more undefined behavior