(module Generic_util_misc)