Symbol: OPCODE_BRA