let
nmap_add map n v =
IntMap
.add (get_id n) (n, v) map