Symbol: gfn_to_rmap