(module Generic_util_exn)