external loc_of_patt : patt -> Loc.t = "%field0"