Improved DumpStatesOnHalt.c to make sure there is always more than one instruction in main().