let add = SMap.add