Clean up common/misc_functions.h