( C: orig1
Put the location of a new unresolved forward reference
onto the control flow stack. Append the run-time
semantics given below to the current definition. The semantics
will be incomplete until orig2
is resolved (e.g., by
). Resolve the forward reference orig1
the location following the appended run-time semantics.