let
edx =
Reg_int
3