check
Assume that the instruction encodes an operand that represents the index of an argument to be checked (for grammatical restrictions): answer the operand.
Return
The argument index, or 0 if the assumption was false.