external
loc_of_match_case : match_case
->
Loc
.t =
"%field0"