No more undefined behavior