... avoid undefined behavior.