Refactoring for i386 machines. Need to test u64 values entered by the
tester.