0x00400058  0x1280000a  beq $20,$0,10