let esp = Reg_int (-2)