0x00400054  0x10340005  beq $1,$20,5