let ebx = Reg_int 1