cons_map-f