external loc_of_ctyp : ctyp -> Loc.t = "%field0"