let nmap_join s1 s2 = nmap_fold nmap_add s1 s2