let ebp = Reg_int (-1)