external loc_of_expr : expr -> Loc.t = "%field0"