let
ebx =
Reg_int
1