external
loc_of_class_expr : class_expr
->
Loc
.t =
"%field0"