Correctly handles execve() x64 -> i386 transition
Correctly handles execve() x64 -> i386 transition

JosuaKrause/reprozip,ViDA-NYU/reprozip,ViDA-NYU/reprozip,JosuaKrause/reprozip,ViDA-NYU/reprozip,JosuaKrause/reprozip,ViDA-NYU/reprozip,JosuaKrause/reprozip,ViDA-NYU/reprozip