let edx = Reg_int 3