notes-on-cpp-undefined-behavior