let nmap_empty = IntMap.empty