(module Total_map)