# 
# patch "roster4.cc"
#  from [1eb46d47886a9cbf48adfda2d7ee930dadc3bb00]
#    to [1ce914c27fdc4624beaa07734b2876304101a683]
# 
========================================================================
--- roster4.cc	1eb46d47886a9cbf48adfda2d7ee930dadc3bb00
+++ roster4.cc	1ce914c27fdc4624beaa07734b2876304101a683
@@ -2196,6 +2196,12 @@
 
 
 static void
+dump(int const & i, std::string & out)
+{
+  out = lexical_cast<std::string>(i) + "\n";
+}
+
+static void
 automaton_roster_test()
 {
   roster_t r1;
@@ -2204,6 +2210,7 @@
 
   for (int i = 0; i < 10000; ++i)
     {
+      MM(i);
       if (i % 500 == 0)
         P(F("performing random action %d\n") % i);
       aut.perform_random_action(r1, nis);