ARG[123]
ARG[456]
foo1: RE[123]
foo2: RE[456]