...no need to keep them in util.hpp, as they are used rather occasionally, while util.hpp is used pervasively.
