let
int_ref_re =
Printf
.sprintf
"int_ref \\([a-zA-Z0-9'_.]+\\) %s %s"
position_re position_re