beq $t3, $t2, ABC