Append the run-time semantics given below to the current definition, resolving the backward reference dest.
If all bits of x are zero, continue execution at the location specified by dest.
X