Chapter5 Example4: added x86 configuration to be used with test runners