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

Continue execution at the location given by the resolution of orig₂.