List.map -> rev_map