Add options to run a.out i386 binaries (commented out)
Use specialreg.h's definitions.