--- /dev/null
+#! @BASH@
+if [ x@EXEEXT@ = x ] ; then
+# exenv="libtool --mode=execute valgrind --run-libc-freeres=no --show-reachable=yes "
+ exenv=$SG_TEST_EXENV
+else
+ exenv=wine
+fi
+
+exec $exenv ./simple_token_simulator@EXEEXT@ @top_srcdir@/examples/msg/small_platform.xml @srcdir@/simple_token.xml $@
+