let nmap_size map = nmap_fold (fun n _ _ -> n+1) 0 map