check_for_undefined_behaviors.cpp -> check_for_undefined_behaviors.hpp