let is_empty m = Hashtbl.length m == 0