Bigsim bare emulator examples: provide a dummy version of traceWriteSTS