add utility functions (util.h)