# 
# patch "roster4.cc"
#  from [4f688c08cf28af647c83773226005bafcb15fa56]
#    to [9c9f7e81b107f04d7d88665e3abf1993e1cfccbe]
# 
========================================================================
--- roster4.cc	4f688c08cf28af647c83773226005bafcb15fa56
+++ roster4.cc	9c9f7e81b107f04d7d88665e3abf1993e1cfccbe
@@ -2054,13 +2054,15 @@
   data a2_dat; MM(a2_dat);
   data b_dat; MM(b_dat);
   data b2_dat; MM(b2_dat);
-  marking_map a_map, b_map;
+  marking_map a_map, a2_map, b_map, b2_map;
   make_fake_marking_for(a, a_map);
+  make_fake_marking_for(a2, a2_map);
   make_fake_marking_for(b, b_map);
+  make_fake_marking_for(b2, b2_map);
   write_roster_and_marking(a, a_map, a_dat, false);
-  write_roster_and_marking(a2, a_map, a2_dat, false);
+  write_roster_and_marking(a2, a2_map, a2_dat, false);
   write_roster_and_marking(b, b_map, b_dat, false);
-  write_roster_and_marking(b2, b_map, b2_dat, false);
+  write_roster_and_marking(b2, b2_map, b2_dat, false);
   I(a_dat == a2_dat);
   I(b_dat == b2_dat);