%verify "executed"
    FETCH_INST_WORD(1)
    ADVANCE_PC(1)
    GOTO_NEXT