let mem = Map.mem