let mapi = Core_list_map.mapi