diff --git a/chpsim.cc b/chpsim.cc
index 6d44340..7122793 100644
--- a/chpsim.cc
+++ b/chpsim.cc
@@ -5946,7 +5946,7 @@ void ChpSim::_zeroAllIntsChans (ChpSimGraph *g)
 	}
 	else {
 	  off = computeOffset (g->stmt->u.sendrecv.d);
-	  if (g->stmt->u.sendrecv.d->isbool) {
+	  if (g->stmt->u.sendrecv.d_type == 0) {
 	    // nothing to do
 	  }
 	  else {
diff --git a/test/inf4.act b/test/inf4.act
new file mode 100644
index 0000000..84b1595
--- /dev/null
+++ b/test/inf4.act
@@ -0,0 +1,52 @@
+defproc test1(chan?(bool) in; chan!(int<1>) out)
+{
+  chp {
+    *[ [#in]; out!int(in);in? ]
+  }
+}
+
+defproc boolsrc(chan!(bool) X)
+{ 
+  chp {
+   *[ X!true; X!false ]
+  }
+}
+
+defproc intsrc(chan!(int<1>) X)
+{
+  chp {
+   *[ X!0; X!1 ]
+  }
+}
+
+defproc test2(chan?(int<1>) in; chan!(bool) out)
+{
+  chp {
+   *[ [#in];out!bool(in);in? ]
+  }
+}
+
+defproc boolsink(chan?(bool) W)
+{
+   bool x;
+
+   chp {
+     *[ W?x; log ("got bool: ", x) ]
+   }
+}
+
+defproc intsink(chan?(int<1>) W)
+{
+   int<1> x;
+
+   chp {
+     *[ W?x; log ("got int: ", x) ]
+   }
+}
+
+defproc test()
+{
+   boolsrc s;
+   test1 t(s.X);
+   intsink ix(t.out);
+}
diff --git a/test/inf5.act b/test/inf5.act
new file mode 100644
index 0000000..b14f642
--- /dev/null
+++ b/test/inf5.act
@@ -0,0 +1,52 @@
+defproc test1(chan?(bool) in; chan!(int<1>) out)
+{
+  chp {
+    *[ [#in]; out!int(in);in? ]
+  }
+}
+
+defproc boolsrc(chan!(bool) X)
+{ 
+  chp {
+   *[ X!true; X!false ]
+  }
+}
+
+defproc intsrc(chan!(int<1>) X)
+{
+  chp {
+   *[ X!0; X!1 ]
+  }
+}
+
+defproc test2(chan?(int<1>) in; chan!(bool) out)
+{
+  chp {
+   *[ [#in];out!bool(in);in? ]
+  }
+}
+
+defproc boolsink(chan?(bool) W)
+{
+   bool x;
+
+   chp {
+     *[ W?x; log ("got bool: ", x) ]
+   }
+}
+
+defproc intsink(chan?(int<1>) W)
+{
+   int<1> x;
+
+   chp {
+     *[ W?x; log ("got int: ", x) ]
+   }
+}
+
+defproc test()
+{
+   intsrc s;
+   test2 t(s.X);
+   boolsink ix(t.out);
+}
diff --git a/test/runs/inf4.act.stderr b/test/runs/inf4.act.stderr
new file mode 100644
index 0000000..92a9d2a
--- /dev/null
+++ b/test/runs/inf4.act.stderr
@@ -0,0 +1,3 @@
+WARNING: intsink<>: substituting chp model (requested prs, not found)
+WARNING: test1<>: substituting chp model (requested prs, not found)
+WARNING: boolsrc<>: substituting chp model (requested prs, not found)
diff --git a/test/runs/inf4.act.stdout b/test/runs/inf4.act.stdout
new file mode 100644
index 0000000..844b8f3
--- /dev/null
+++ b/test/runs/inf4.act.stdout
@@ -0,0 +1,869 @@
+[                  20] <ix>  got int: 1
+[                  50] <ix>  got int: 0
+[                  80] <ix>  got int: 1
+[                 110] <ix>  got int: 0
+[                 140] <ix>  got int: 1
+[                 170] <ix>  got int: 0
+[                 200] <ix>  got int: 1
+[                 230] <ix>  got int: 0
+[                 260] <ix>  got int: 1
+[                 290] <ix>  got int: 0
+[                 320] <ix>  got int: 1
+[                 350] <ix>  got int: 0
+[                 380] <ix>  got int: 1
+[                 410] <ix>  got int: 0
+[                 440] <ix>  got int: 1
+[                 470] <ix>  got int: 0
+[                 500] <ix>  got int: 1
+[                 530] <ix>  got int: 0
+[                 560] <ix>  got int: 1
+[                 590] <ix>  got int: 0
+[                 620] <ix>  got int: 1
+[                 650] <ix>  got int: 0
+[                 680] <ix>  got int: 1
+[                 710] <ix>  got int: 0
+[                 740] <ix>  got int: 1
+[                 770] <ix>  got int: 0
+[                 800] <ix>  got int: 1
+[                 830] <ix>  got int: 0
+[                 860] <ix>  got int: 1
+[                 890] <ix>  got int: 0
+[                 920] <ix>  got int: 1
+[                 950] <ix>  got int: 0
+[                 980] <ix>  got int: 1
+[                1010] <ix>  got int: 0
+[                1040] <ix>  got int: 1
+[                1070] <ix>  got int: 0
+[                1100] <ix>  got int: 1
+[                1130] <ix>  got int: 0
+[                1160] <ix>  got int: 1
+[                1190] <ix>  got int: 0
+[                1220] <ix>  got int: 1
+[                1250] <ix>  got int: 0
+[                1280] <ix>  got int: 1
+[                1310] <ix>  got int: 0
+[                1340] <ix>  got int: 1
+[                1370] <ix>  got int: 0
+[                1400] <ix>  got int: 1
+[                1430] <ix>  got int: 0
+[                1460] <ix>  got int: 1
+[                1490] <ix>  got int: 0
+[                1520] <ix>  got int: 1
+[                1550] <ix>  got int: 0
+[                1580] <ix>  got int: 1
+[                1610] <ix>  got int: 0
+[                1640] <ix>  got int: 1
+[                1670] <ix>  got int: 0
+[                1700] <ix>  got int: 1
+[                1730] <ix>  got int: 0
+[                1760] <ix>  got int: 1
+[                1790] <ix>  got int: 0
+[                1820] <ix>  got int: 1
+[                1850] <ix>  got int: 0
+[                1880] <ix>  got int: 1
+[                1910] <ix>  got int: 0
+[                1940] <ix>  got int: 1
+[                1970] <ix>  got int: 0
+[                2000] <ix>  got int: 1
+[                2030] <ix>  got int: 0
+[                2060] <ix>  got int: 1
+[                2090] <ix>  got int: 0
+[                2120] <ix>  got int: 1
+[                2150] <ix>  got int: 0
+[                2180] <ix>  got int: 1
+[                2210] <ix>  got int: 0
+[                2240] <ix>  got int: 1
+[                2270] <ix>  got int: 0
+[                2300] <ix>  got int: 1
+[                2330] <ix>  got int: 0
+[                2360] <ix>  got int: 1
+[                2390] <ix>  got int: 0
+[                2420] <ix>  got int: 1
+[                2450] <ix>  got int: 0
+[                2480] <ix>  got int: 1
+[                2510] <ix>  got int: 0
+[                2540] <ix>  got int: 1
+[                2570] <ix>  got int: 0
+[                2600] <ix>  got int: 1
+[                2630] <ix>  got int: 0
+[                2660] <ix>  got int: 1
+[                2690] <ix>  got int: 0
+[                2720] <ix>  got int: 1
+[                2750] <ix>  got int: 0
+[                2780] <ix>  got int: 1
+[                2810] <ix>  got int: 0
+[                2840] <ix>  got int: 1
+[                2870] <ix>  got int: 0
+[                2900] <ix>  got int: 1
+[                2930] <ix>  got int: 0
+[                2960] <ix>  got int: 1
+[                2990] <ix>  got int: 0
+[                3020] <ix>  got int: 1
+[                3050] <ix>  got int: 0
+[                3080] <ix>  got int: 1
+[                3110] <ix>  got int: 0
+[                3140] <ix>  got int: 1
+[                3170] <ix>  got int: 0
+[                3200] <ix>  got int: 1
+[                3230] <ix>  got int: 0
+[                3260] <ix>  got int: 1
+[                3290] <ix>  got int: 0
+[                3320] <ix>  got int: 1
+[                3350] <ix>  got int: 0
+[                3380] <ix>  got int: 1
+[                3410] <ix>  got int: 0
+[                3440] <ix>  got int: 1
+[                3470] <ix>  got int: 0
+[                3500] <ix>  got int: 1
+[                3530] <ix>  got int: 0
+[                3560] <ix>  got int: 1
+[                3590] <ix>  got int: 0
+[                3620] <ix>  got int: 1
+[                3650] <ix>  got int: 0
+[                3680] <ix>  got int: 1
+[                3710] <ix>  got int: 0
+[                3740] <ix>  got int: 1
+[                3770] <ix>  got int: 0
+[                3800] <ix>  got int: 1
+[                3830] <ix>  got int: 0
+[                3860] <ix>  got int: 1
+[                3890] <ix>  got int: 0
+[                3920] <ix>  got int: 1
+[                3950] <ix>  got int: 0
+[                3980] <ix>  got int: 1
+[                4010] <ix>  got int: 0
+[                4040] <ix>  got int: 1
+[                4070] <ix>  got int: 0
+[                4100] <ix>  got int: 1
+[                4130] <ix>  got int: 0
+[                4160] <ix>  got int: 1
+[                4190] <ix>  got int: 0
+[                4220] <ix>  got int: 1
+[                4250] <ix>  got int: 0
+[                4280] <ix>  got int: 1
+[                4310] <ix>  got int: 0
+[                4340] <ix>  got int: 1
+[                4370] <ix>  got int: 0
+[                4400] <ix>  got int: 1
+[                4430] <ix>  got int: 0
+[                4460] <ix>  got int: 1
+[                4490] <ix>  got int: 0
+[                4520] <ix>  got int: 1
+[                4550] <ix>  got int: 0
+[                4580] <ix>  got int: 1
+[                4610] <ix>  got int: 0
+[                4640] <ix>  got int: 1
+[                4670] <ix>  got int: 0
+[                4700] <ix>  got int: 1
+[                4730] <ix>  got int: 0
+[                4760] <ix>  got int: 1
+[                4790] <ix>  got int: 0
+[                4820] <ix>  got int: 1
+[                4850] <ix>  got int: 0
+[                4880] <ix>  got int: 1
+[                4910] <ix>  got int: 0
+[                4940] <ix>  got int: 1
+[                4970] <ix>  got int: 0
+[                5000] <ix>  got int: 1
+[                5030] <ix>  got int: 0
+[                5060] <ix>  got int: 1
+[                5090] <ix>  got int: 0
+[                5120] <ix>  got int: 1
+[                5150] <ix>  got int: 0
+[                5180] <ix>  got int: 1
+[                5210] <ix>  got int: 0
+[                5240] <ix>  got int: 1
+[                5270] <ix>  got int: 0
+[                5300] <ix>  got int: 1
+[                5330] <ix>  got int: 0
+[                5360] <ix>  got int: 1
+[                5390] <ix>  got int: 0
+[                5420] <ix>  got int: 1
+[                5450] <ix>  got int: 0
+[                5480] <ix>  got int: 1
+[                5510] <ix>  got int: 0
+[                5540] <ix>  got int: 1
+[                5570] <ix>  got int: 0
+[                5600] <ix>  got int: 1
+[                5630] <ix>  got int: 0
+[                5660] <ix>  got int: 1
+[                5690] <ix>  got int: 0
+[                5720] <ix>  got int: 1
+[                5750] <ix>  got int: 0
+[                5780] <ix>  got int: 1
+[                5810] <ix>  got int: 0
+[                5840] <ix>  got int: 1
+[                5870] <ix>  got int: 0
+[                5900] <ix>  got int: 1
+[                5930] <ix>  got int: 0
+[                5960] <ix>  got int: 1
+[                5990] <ix>  got int: 0
+[                6020] <ix>  got int: 1
+[                6050] <ix>  got int: 0
+[                6080] <ix>  got int: 1
+[                6110] <ix>  got int: 0
+[                6140] <ix>  got int: 1
+[                6170] <ix>  got int: 0
+[                6200] <ix>  got int: 1
+[                6230] <ix>  got int: 0
+[                6260] <ix>  got int: 1
+[                6290] <ix>  got int: 0
+[                6320] <ix>  got int: 1
+[                6350] <ix>  got int: 0
+[                6380] <ix>  got int: 1
+[                6410] <ix>  got int: 0
+[                6440] <ix>  got int: 1
+[                6470] <ix>  got int: 0
+[                6500] <ix>  got int: 1
+[                6530] <ix>  got int: 0
+[                6560] <ix>  got int: 1
+[                6590] <ix>  got int: 0
+[                6620] <ix>  got int: 1
+[                6650] <ix>  got int: 0
+[                6680] <ix>  got int: 1
+[                6710] <ix>  got int: 0
+[                6740] <ix>  got int: 1
+[                6770] <ix>  got int: 0
+[                6800] <ix>  got int: 1
+[                6830] <ix>  got int: 0
+[                6860] <ix>  got int: 1
+[                6890] <ix>  got int: 0
+[                6920] <ix>  got int: 1
+[                6950] <ix>  got int: 0
+[                6980] <ix>  got int: 1
+[                7010] <ix>  got int: 0
+[                7040] <ix>  got int: 1
+[                7070] <ix>  got int: 0
+[                7100] <ix>  got int: 1
+[                7130] <ix>  got int: 0
+[                7160] <ix>  got int: 1
+[                7190] <ix>  got int: 0
+[                7220] <ix>  got int: 1
+[                7250] <ix>  got int: 0
+[                7280] <ix>  got int: 1
+[                7310] <ix>  got int: 0
+[                7340] <ix>  got int: 1
+[                7370] <ix>  got int: 0
+[                7400] <ix>  got int: 1
+[                7430] <ix>  got int: 0
+[                7460] <ix>  got int: 1
+[                7490] <ix>  got int: 0
+[                7520] <ix>  got int: 1
+[                7550] <ix>  got int: 0
+[                7580] <ix>  got int: 1
+[                7610] <ix>  got int: 0
+[                7640] <ix>  got int: 1
+[                7670] <ix>  got int: 0
+[                7700] <ix>  got int: 1
+[                7730] <ix>  got int: 0
+[                7760] <ix>  got int: 1
+[                7790] <ix>  got int: 0
+[                7820] <ix>  got int: 1
+[                7850] <ix>  got int: 0
+[                7880] <ix>  got int: 1
+[                7910] <ix>  got int: 0
+[                7940] <ix>  got int: 1
+[                7970] <ix>  got int: 0
+[                8000] <ix>  got int: 1
+[                8030] <ix>  got int: 0
+[                8060] <ix>  got int: 1
+[                8090] <ix>  got int: 0
+[                8120] <ix>  got int: 1
+[                8150] <ix>  got int: 0
+[                8180] <ix>  got int: 1
+[                8210] <ix>  got int: 0
+[                8240] <ix>  got int: 1
+[                8270] <ix>  got int: 0
+[                8300] <ix>  got int: 1
+[                8330] <ix>  got int: 0
+[                8360] <ix>  got int: 1
+[                8390] <ix>  got int: 0
+[                8420] <ix>  got int: 1
+[                8450] <ix>  got int: 0
+[                8480] <ix>  got int: 1
+[                8510] <ix>  got int: 0
+[                8540] <ix>  got int: 1
+[                8570] <ix>  got int: 0
+[                8600] <ix>  got int: 1
+[                8630] <ix>  got int: 0
+[                8660] <ix>  got int: 1
+[                8690] <ix>  got int: 0
+[                8720] <ix>  got int: 1
+[                8750] <ix>  got int: 0
+[                8780] <ix>  got int: 1
+[                8810] <ix>  got int: 0
+[                8840] <ix>  got int: 1
+[                8870] <ix>  got int: 0
+[                8900] <ix>  got int: 1
+[                8930] <ix>  got int: 0
+[                8960] <ix>  got int: 1
+[                8990] <ix>  got int: 0
+[                9020] <ix>  got int: 1
+[                9050] <ix>  got int: 0
+[                9080] <ix>  got int: 1
+[                9110] <ix>  got int: 0
+[                9140] <ix>  got int: 1
+[                9170] <ix>  got int: 0
+[                9200] <ix>  got int: 1
+[                9230] <ix>  got int: 0
+[                9260] <ix>  got int: 1
+[                9290] <ix>  got int: 0
+[                9320] <ix>  got int: 1
+[                9350] <ix>  got int: 0
+[                9380] <ix>  got int: 1
+[                9410] <ix>  got int: 0
+[                9440] <ix>  got int: 1
+[                9470] <ix>  got int: 0
+[                9500] <ix>  got int: 1
+[                9530] <ix>  got int: 0
+[                9560] <ix>  got int: 1
+[                9590] <ix>  got int: 0
+[                9620] <ix>  got int: 1
+[                9650] <ix>  got int: 0
+[                9680] <ix>  got int: 1
+[                9710] <ix>  got int: 0
+[                9740] <ix>  got int: 1
+[                9770] <ix>  got int: 0
+[                9800] <ix>  got int: 1
+[                9830] <ix>  got int: 0
+[                9860] <ix>  got int: 1
+[                9890] <ix>  got int: 0
+[                9920] <ix>  got int: 1
+[                9950] <ix>  got int: 0
+[                9980] <ix>  got int: 1
+[               10010] <ix>  got int: 0
+[               10040] <ix>  got int: 1
+[               10070] <ix>  got int: 0
+[               10100] <ix>  got int: 1
+[               10130] <ix>  got int: 0
+[               10160] <ix>  got int: 1
+[               10190] <ix>  got int: 0
+[               10220] <ix>  got int: 1
+[               10250] <ix>  got int: 0
+[               10280] <ix>  got int: 1
+[               10310] <ix>  got int: 0
+[               10340] <ix>  got int: 1
+[               10370] <ix>  got int: 0
+[               10400] <ix>  got int: 1
+[               10430] <ix>  got int: 0
+[               10460] <ix>  got int: 1
+[               10490] <ix>  got int: 0
+[               10520] <ix>  got int: 1
+[               10550] <ix>  got int: 0
+[               10580] <ix>  got int: 1
+[               10610] <ix>  got int: 0
+[               10640] <ix>  got int: 1
+[               10670] <ix>  got int: 0
+[               10700] <ix>  got int: 1
+[               10730] <ix>  got int: 0
+[               10760] <ix>  got int: 1
+[               10790] <ix>  got int: 0
+[               10820] <ix>  got int: 1
+[               10850] <ix>  got int: 0
+[               10880] <ix>  got int: 1
+[               10910] <ix>  got int: 0
+[               10940] <ix>  got int: 1
+[               10970] <ix>  got int: 0
+[               11000] <ix>  got int: 1
+[               11030] <ix>  got int: 0
+[               11060] <ix>  got int: 1
+[               11090] <ix>  got int: 0
+[               11120] <ix>  got int: 1
+[               11150] <ix>  got int: 0
+[               11180] <ix>  got int: 1
+[               11210] <ix>  got int: 0
+[               11240] <ix>  got int: 1
+[               11270] <ix>  got int: 0
+[               11300] <ix>  got int: 1
+[               11330] <ix>  got int: 0
+[               11360] <ix>  got int: 1
+[               11390] <ix>  got int: 0
+[               11420] <ix>  got int: 1
+[               11450] <ix>  got int: 0
+[               11480] <ix>  got int: 1
+[               11510] <ix>  got int: 0
+[               11540] <ix>  got int: 1
+[               11570] <ix>  got int: 0
+[               11600] <ix>  got int: 1
+[               11630] <ix>  got int: 0
+[               11660] <ix>  got int: 1
+[               11690] <ix>  got int: 0
+[               11720] <ix>  got int: 1
+[               11750] <ix>  got int: 0
+[               11780] <ix>  got int: 1
+[               11810] <ix>  got int: 0
+[               11840] <ix>  got int: 1
+[               11870] <ix>  got int: 0
+[               11900] <ix>  got int: 1
+[               11930] <ix>  got int: 0
+[               11960] <ix>  got int: 1
+[               11990] <ix>  got int: 0
+[               12020] <ix>  got int: 1
+[               12050] <ix>  got int: 0
+[               12080] <ix>  got int: 1
+[               12110] <ix>  got int: 0
+[               12140] <ix>  got int: 1
+[               12170] <ix>  got int: 0
+[               12200] <ix>  got int: 1
+[               12230] <ix>  got int: 0
+[               12260] <ix>  got int: 1
+[               12290] <ix>  got int: 0
+[               12320] <ix>  got int: 1
+[               12350] <ix>  got int: 0
+[               12380] <ix>  got int: 1
+[               12410] <ix>  got int: 0
+[               12440] <ix>  got int: 1
+[               12470] <ix>  got int: 0
+[               12500] <ix>  got int: 1
+[               12530] <ix>  got int: 0
+[               12560] <ix>  got int: 1
+[               12590] <ix>  got int: 0
+[               12620] <ix>  got int: 1
+[               12650] <ix>  got int: 0
+[               12680] <ix>  got int: 1
+[               12710] <ix>  got int: 0
+[               12740] <ix>  got int: 1
+[               12770] <ix>  got int: 0
+[               12800] <ix>  got int: 1
+[               12830] <ix>  got int: 0
+[               12860] <ix>  got int: 1
+[               12890] <ix>  got int: 0
+[               12920] <ix>  got int: 1
+[               12950] <ix>  got int: 0
+[               12980] <ix>  got int: 1
+[               13010] <ix>  got int: 0
+[               13040] <ix>  got int: 1
+[               13070] <ix>  got int: 0
+[               13100] <ix>  got int: 1
+[               13130] <ix>  got int: 0
+[               13160] <ix>  got int: 1
+[               13190] <ix>  got int: 0
+[               13220] <ix>  got int: 1
+[               13250] <ix>  got int: 0
+[               13280] <ix>  got int: 1
+[               13310] <ix>  got int: 0
+[               13340] <ix>  got int: 1
+[               13370] <ix>  got int: 0
+[               13400] <ix>  got int: 1
+[               13430] <ix>  got int: 0
+[               13460] <ix>  got int: 1
+[               13490] <ix>  got int: 0
+[               13520] <ix>  got int: 1
+[               13550] <ix>  got int: 0
+[               13580] <ix>  got int: 1
+[               13610] <ix>  got int: 0
+[               13640] <ix>  got int: 1
+[               13670] <ix>  got int: 0
+[               13700] <ix>  got int: 1
+[               13730] <ix>  got int: 0
+[               13760] <ix>  got int: 1
+[               13790] <ix>  got int: 0
+[               13820] <ix>  got int: 1
+[               13850] <ix>  got int: 0
+[               13880] <ix>  got int: 1
+[               13910] <ix>  got int: 0
+[               13940] <ix>  got int: 1
+[               13970] <ix>  got int: 0
+[               14000] <ix>  got int: 1
+[               14030] <ix>  got int: 0
+[               14060] <ix>  got int: 1
+[               14090] <ix>  got int: 0
+[               14120] <ix>  got int: 1
+[               14150] <ix>  got int: 0
+[               14180] <ix>  got int: 1
+[               14210] <ix>  got int: 0
+[               14240] <ix>  got int: 1
+[               14270] <ix>  got int: 0
+[               14300] <ix>  got int: 1
+[               14330] <ix>  got int: 0
+[               14360] <ix>  got int: 1
+[               14390] <ix>  got int: 0
+[               14420] <ix>  got int: 1
+[               14450] <ix>  got int: 0
+[               14480] <ix>  got int: 1
+[               14510] <ix>  got int: 0
+[               14540] <ix>  got int: 1
+[               14570] <ix>  got int: 0
+[               14600] <ix>  got int: 1
+[               14630] <ix>  got int: 0
+[               14660] <ix>  got int: 1
+[               14690] <ix>  got int: 0
+[               14720] <ix>  got int: 1
+[               14750] <ix>  got int: 0
+[               14780] <ix>  got int: 1
+[               14810] <ix>  got int: 0
+[               14840] <ix>  got int: 1
+[               14870] <ix>  got int: 0
+[               14900] <ix>  got int: 1
+[               14930] <ix>  got int: 0
+[               14960] <ix>  got int: 1
+[               14990] <ix>  got int: 0
+[               15020] <ix>  got int: 1
+[               15050] <ix>  got int: 0
+[               15080] <ix>  got int: 1
+[               15110] <ix>  got int: 0
+[               15140] <ix>  got int: 1
+[               15170] <ix>  got int: 0
+[               15200] <ix>  got int: 1
+[               15230] <ix>  got int: 0
+[               15260] <ix>  got int: 1
+[               15290] <ix>  got int: 0
+[               15320] <ix>  got int: 1
+[               15350] <ix>  got int: 0
+[               15380] <ix>  got int: 1
+[               15410] <ix>  got int: 0
+[               15440] <ix>  got int: 1
+[               15470] <ix>  got int: 0
+[               15500] <ix>  got int: 1
+[               15530] <ix>  got int: 0
+[               15560] <ix>  got int: 1
+[               15590] <ix>  got int: 0
+[               15620] <ix>  got int: 1
+[               15650] <ix>  got int: 0
+[               15680] <ix>  got int: 1
+[               15710] <ix>  got int: 0
+[               15740] <ix>  got int: 1
+[               15770] <ix>  got int: 0
+[               15800] <ix>  got int: 1
+[               15830] <ix>  got int: 0
+[               15860] <ix>  got int: 1
+[               15890] <ix>  got int: 0
+[               15920] <ix>  got int: 1
+[               15950] <ix>  got int: 0
+[               15980] <ix>  got int: 1
+[               16010] <ix>  got int: 0
+[               16040] <ix>  got int: 1
+[               16070] <ix>  got int: 0
+[               16100] <ix>  got int: 1
+[               16130] <ix>  got int: 0
+[               16160] <ix>  got int: 1
+[               16190] <ix>  got int: 0
+[               16220] <ix>  got int: 1
+[               16250] <ix>  got int: 0
+[               16280] <ix>  got int: 1
+[               16310] <ix>  got int: 0
+[               16340] <ix>  got int: 1
+[               16370] <ix>  got int: 0
+[               16400] <ix>  got int: 1
+[               16430] <ix>  got int: 0
+[               16460] <ix>  got int: 1
+[               16490] <ix>  got int: 0
+[               16520] <ix>  got int: 1
+[               16550] <ix>  got int: 0
+[               16580] <ix>  got int: 1
+[               16610] <ix>  got int: 0
+[               16640] <ix>  got int: 1
+[               16670] <ix>  got int: 0
+[               16700] <ix>  got int: 1
+[               16730] <ix>  got int: 0
+[               16760] <ix>  got int: 1
+[               16790] <ix>  got int: 0
+[               16820] <ix>  got int: 1
+[               16850] <ix>  got int: 0
+[               16880] <ix>  got int: 1
+[               16910] <ix>  got int: 0
+[               16940] <ix>  got int: 1
+[               16970] <ix>  got int: 0
+[               17000] <ix>  got int: 1
+[               17030] <ix>  got int: 0
+[               17060] <ix>  got int: 1
+[               17090] <ix>  got int: 0
+[               17120] <ix>  got int: 1
+[               17150] <ix>  got int: 0
+[               17180] <ix>  got int: 1
+[               17210] <ix>  got int: 0
+[               17240] <ix>  got int: 1
+[               17270] <ix>  got int: 0
+[               17300] <ix>  got int: 1
+[               17330] <ix>  got int: 0
+[               17360] <ix>  got int: 1
+[               17390] <ix>  got int: 0
+[               17420] <ix>  got int: 1
+[               17450] <ix>  got int: 0
+[               17480] <ix>  got int: 1
+[               17510] <ix>  got int: 0
+[               17540] <ix>  got int: 1
+[               17570] <ix>  got int: 0
+[               17600] <ix>  got int: 1
+[               17630] <ix>  got int: 0
+[               17660] <ix>  got int: 1
+[               17690] <ix>  got int: 0
+[               17720] <ix>  got int: 1
+[               17750] <ix>  got int: 0
+[               17780] <ix>  got int: 1
+[               17810] <ix>  got int: 0
+[               17840] <ix>  got int: 1
+[               17870] <ix>  got int: 0
+[               17900] <ix>  got int: 1
+[               17930] <ix>  got int: 0
+[               17960] <ix>  got int: 1
+[               17990] <ix>  got int: 0
+[               18020] <ix>  got int: 1
+[               18050] <ix>  got int: 0
+[               18080] <ix>  got int: 1
+[               18110] <ix>  got int: 0
+[               18140] <ix>  got int: 1
+[               18170] <ix>  got int: 0
+[               18200] <ix>  got int: 1
+[               18230] <ix>  got int: 0
+[               18260] <ix>  got int: 1
+[               18290] <ix>  got int: 0
+[               18320] <ix>  got int: 1
+[               18350] <ix>  got int: 0
+[               18380] <ix>  got int: 1
+[               18410] <ix>  got int: 0
+[               18440] <ix>  got int: 1
+[               18470] <ix>  got int: 0
+[               18500] <ix>  got int: 1
+[               18530] <ix>  got int: 0
+[               18560] <ix>  got int: 1
+[               18590] <ix>  got int: 0
+[               18620] <ix>  got int: 1
+[               18650] <ix>  got int: 0
+[               18680] <ix>  got int: 1
+[               18710] <ix>  got int: 0
+[               18740] <ix>  got int: 1
+[               18770] <ix>  got int: 0
+[               18800] <ix>  got int: 1
+[               18830] <ix>  got int: 0
+[               18860] <ix>  got int: 1
+[               18890] <ix>  got int: 0
+[               18920] <ix>  got int: 1
+[               18950] <ix>  got int: 0
+[               18980] <ix>  got int: 1
+[               19010] <ix>  got int: 0
+[               19040] <ix>  got int: 1
+[               19070] <ix>  got int: 0
+[               19100] <ix>  got int: 1
+[               19130] <ix>  got int: 0
+[               19160] <ix>  got int: 1
+[               19190] <ix>  got int: 0
+[               19220] <ix>  got int: 1
+[               19250] <ix>  got int: 0
+[               19280] <ix>  got int: 1
+[               19310] <ix>  got int: 0
+[               19340] <ix>  got int: 1
+[               19370] <ix>  got int: 0
+[               19400] <ix>  got int: 1
+[               19430] <ix>  got int: 0
+[               19460] <ix>  got int: 1
+[               19490] <ix>  got int: 0
+[               19520] <ix>  got int: 1
+[               19550] <ix>  got int: 0
+[               19580] <ix>  got int: 1
+[               19610] <ix>  got int: 0
+[               19640] <ix>  got int: 1
+[               19670] <ix>  got int: 0
+[               19700] <ix>  got int: 1
+[               19730] <ix>  got int: 0
+[               19760] <ix>  got int: 1
+[               19790] <ix>  got int: 0
+[               19820] <ix>  got int: 1
+[               19850] <ix>  got int: 0
+[               19880] <ix>  got int: 1
+[               19910] <ix>  got int: 0
+[               19940] <ix>  got int: 1
+[               19970] <ix>  got int: 0
+[               20000] <ix>  got int: 1
+[               20030] <ix>  got int: 0
+[               20060] <ix>  got int: 1
+[               20090] <ix>  got int: 0
+[               20120] <ix>  got int: 1
+[               20150] <ix>  got int: 0
+[               20180] <ix>  got int: 1
+[               20210] <ix>  got int: 0
+[               20240] <ix>  got int: 1
+[               20270] <ix>  got int: 0
+[               20300] <ix>  got int: 1
+[               20330] <ix>  got int: 0
+[               20360] <ix>  got int: 1
+[               20390] <ix>  got int: 0
+[               20420] <ix>  got int: 1
+[               20450] <ix>  got int: 0
+[               20480] <ix>  got int: 1
+[               20510] <ix>  got int: 0
+[               20540] <ix>  got int: 1
+[               20570] <ix>  got int: 0
+[               20600] <ix>  got int: 1
+[               20630] <ix>  got int: 0
+[               20660] <ix>  got int: 1
+[               20690] <ix>  got int: 0
+[               20720] <ix>  got int: 1
+[               20750] <ix>  got int: 0
+[               20780] <ix>  got int: 1
+[               20810] <ix>  got int: 0
+[               20840] <ix>  got int: 1
+[               20870] <ix>  got int: 0
+[               20900] <ix>  got int: 1
+[               20930] <ix>  got int: 0
+[               20960] <ix>  got int: 1
+[               20990] <ix>  got int: 0
+[               21020] <ix>  got int: 1
+[               21050] <ix>  got int: 0
+[               21080] <ix>  got int: 1
+[               21110] <ix>  got int: 0
+[               21140] <ix>  got int: 1
+[               21170] <ix>  got int: 0
+[               21200] <ix>  got int: 1
+[               21230] <ix>  got int: 0
+[               21260] <ix>  got int: 1
+[               21290] <ix>  got int: 0
+[               21320] <ix>  got int: 1
+[               21350] <ix>  got int: 0
+[               21380] <ix>  got int: 1
+[               21410] <ix>  got int: 0
+[               21440] <ix>  got int: 1
+[               21470] <ix>  got int: 0
+[               21500] <ix>  got int: 1
+[               21530] <ix>  got int: 0
+[               21560] <ix>  got int: 1
+[               21590] <ix>  got int: 0
+[               21620] <ix>  got int: 1
+[               21650] <ix>  got int: 0
+[               21680] <ix>  got int: 1
+[               21710] <ix>  got int: 0
+[               21740] <ix>  got int: 1
+[               21770] <ix>  got int: 0
+[               21800] <ix>  got int: 1
+[               21830] <ix>  got int: 0
+[               21860] <ix>  got int: 1
+[               21890] <ix>  got int: 0
+[               21920] <ix>  got int: 1
+[               21950] <ix>  got int: 0
+[               21980] <ix>  got int: 1
+[               22010] <ix>  got int: 0
+[               22040] <ix>  got int: 1
+[               22070] <ix>  got int: 0
+[               22100] <ix>  got int: 1
+[               22130] <ix>  got int: 0
+[               22160] <ix>  got int: 1
+[               22190] <ix>  got int: 0
+[               22220] <ix>  got int: 1
+[               22250] <ix>  got int: 0
+[               22280] <ix>  got int: 1
+[               22310] <ix>  got int: 0
+[               22340] <ix>  got int: 1
+[               22370] <ix>  got int: 0
+[               22400] <ix>  got int: 1
+[               22430] <ix>  got int: 0
+[               22460] <ix>  got int: 1
+[               22490] <ix>  got int: 0
+[               22520] <ix>  got int: 1
+[               22550] <ix>  got int: 0
+[               22580] <ix>  got int: 1
+[               22610] <ix>  got int: 0
+[               22640] <ix>  got int: 1
+[               22670] <ix>  got int: 0
+[               22700] <ix>  got int: 1
+[               22730] <ix>  got int: 0
+[               22760] <ix>  got int: 1
+[               22790] <ix>  got int: 0
+[               22820] <ix>  got int: 1
+[               22850] <ix>  got int: 0
+[               22880] <ix>  got int: 1
+[               22910] <ix>  got int: 0
+[               22940] <ix>  got int: 1
+[               22970] <ix>  got int: 0
+[               23000] <ix>  got int: 1
+[               23030] <ix>  got int: 0
+[               23060] <ix>  got int: 1
+[               23090] <ix>  got int: 0
+[               23120] <ix>  got int: 1
+[               23150] <ix>  got int: 0
+[               23180] <ix>  got int: 1
+[               23210] <ix>  got int: 0
+[               23240] <ix>  got int: 1
+[               23270] <ix>  got int: 0
+[               23300] <ix>  got int: 1
+[               23330] <ix>  got int: 0
+[               23360] <ix>  got int: 1
+[               23390] <ix>  got int: 0
+[               23420] <ix>  got int: 1
+[               23450] <ix>  got int: 0
+[               23480] <ix>  got int: 1
+[               23510] <ix>  got int: 0
+[               23540] <ix>  got int: 1
+[               23570] <ix>  got int: 0
+[               23600] <ix>  got int: 1
+[               23630] <ix>  got int: 0
+[               23660] <ix>  got int: 1
+[               23690] <ix>  got int: 0
+[               23720] <ix>  got int: 1
+[               23750] <ix>  got int: 0
+[               23780] <ix>  got int: 1
+[               23810] <ix>  got int: 0
+[               23840] <ix>  got int: 1
+[               23870] <ix>  got int: 0
+[               23900] <ix>  got int: 1
+[               23930] <ix>  got int: 0
+[               23960] <ix>  got int: 1
+[               23990] <ix>  got int: 0
+[               24020] <ix>  got int: 1
+[               24050] <ix>  got int: 0
+[               24080] <ix>  got int: 1
+[               24110] <ix>  got int: 0
+[               24140] <ix>  got int: 1
+[               24170] <ix>  got int: 0
+[               24200] <ix>  got int: 1
+[               24230] <ix>  got int: 0
+[               24260] <ix>  got int: 1
+[               24290] <ix>  got int: 0
+[               24320] <ix>  got int: 1
+[               24350] <ix>  got int: 0
+[               24380] <ix>  got int: 1
+[               24410] <ix>  got int: 0
+[               24440] <ix>  got int: 1
+[               24470] <ix>  got int: 0
+[               24500] <ix>  got int: 1
+[               24530] <ix>  got int: 0
+[               24560] <ix>  got int: 1
+[               24590] <ix>  got int: 0
+[               24620] <ix>  got int: 1
+[               24650] <ix>  got int: 0
+[               24680] <ix>  got int: 1
+[               24710] <ix>  got int: 0
+[               24740] <ix>  got int: 1
+[               24770] <ix>  got int: 0
+[               24800] <ix>  got int: 1
+[               24830] <ix>  got int: 0
+[               24860] <ix>  got int: 1
+[               24890] <ix>  got int: 0
+[               24920] <ix>  got int: 1
+[               24950] <ix>  got int: 0
+[               24980] <ix>  got int: 1
+[               25010] <ix>  got int: 0
+[               25040] <ix>  got int: 1
+[               25070] <ix>  got int: 0
+[               25100] <ix>  got int: 1
+[               25130] <ix>  got int: 0
+[               25160] <ix>  got int: 1
+[               25190] <ix>  got int: 0
+[               25220] <ix>  got int: 1
+[               25250] <ix>  got int: 0
+[               25280] <ix>  got int: 1
+[               25310] <ix>  got int: 0
+[               25340] <ix>  got int: 1
+[               25370] <ix>  got int: 0
+[               25400] <ix>  got int: 1
+[               25430] <ix>  got int: 0
+[               25460] <ix>  got int: 1
+[               25490] <ix>  got int: 0
+[               25520] <ix>  got int: 1
+[               25550] <ix>  got int: 0
+[               25580] <ix>  got int: 1
+[               25610] <ix>  got int: 0
+[               25640] <ix>  got int: 1
+[               25670] <ix>  got int: 0
+[               25700] <ix>  got int: 1
+[               25730] <ix>  got int: 0
+[               25760] <ix>  got int: 1
+[               25790] <ix>  got int: 0
+[               25820] <ix>  got int: 1
+[               25850] <ix>  got int: 0
+[               25880] <ix>  got int: 1
+[               25910] <ix>  got int: 0
+[               25940] <ix>  got int: 1
+[               25970] <ix>  got int: 0
+[               26000] <ix>  got int: 1
+[               26030] <ix>  got int: 0
+[               26060] <ix>  got int: 1
diff --git a/test/runs/inf5.act.stderr b/test/runs/inf5.act.stderr
new file mode 100644
index 0000000..f3a2762
--- /dev/null
+++ b/test/runs/inf5.act.stderr
@@ -0,0 +1,3 @@
+WARNING: boolsink<>: substituting chp model (requested prs, not found)
+WARNING: test2<>: substituting chp model (requested prs, not found)
+WARNING: intsrc<>: substituting chp model (requested prs, not found)
diff --git a/test/runs/inf5.act.stdout b/test/runs/inf5.act.stdout
new file mode 100644
index 0000000..f975602
--- /dev/null
+++ b/test/runs/inf5.act.stdout
@@ -0,0 +1,869 @@
+[                  20] <ix>  got bool: 0
+[                  50] <ix>  got bool: 1
+[                  80] <ix>  got bool: 0
+[                 110] <ix>  got bool: 1
+[                 140] <ix>  got bool: 0
+[                 170] <ix>  got bool: 1
+[                 200] <ix>  got bool: 0
+[                 230] <ix>  got bool: 1
+[                 260] <ix>  got bool: 0
+[                 290] <ix>  got bool: 1
+[                 320] <ix>  got bool: 0
+[                 350] <ix>  got bool: 1
+[                 380] <ix>  got bool: 0
+[                 410] <ix>  got bool: 1
+[                 440] <ix>  got bool: 0
+[                 470] <ix>  got bool: 1
+[                 500] <ix>  got bool: 0
+[                 530] <ix>  got bool: 1
+[                 560] <ix>  got bool: 0
+[                 590] <ix>  got bool: 1
+[                 620] <ix>  got bool: 0
+[                 650] <ix>  got bool: 1
+[                 680] <ix>  got bool: 0
+[                 710] <ix>  got bool: 1
+[                 740] <ix>  got bool: 0
+[                 770] <ix>  got bool: 1
+[                 800] <ix>  got bool: 0
+[                 830] <ix>  got bool: 1
+[                 860] <ix>  got bool: 0
+[                 890] <ix>  got bool: 1
+[                 920] <ix>  got bool: 0
+[                 950] <ix>  got bool: 1
+[                 980] <ix>  got bool: 0
+[                1010] <ix>  got bool: 1
+[                1040] <ix>  got bool: 0
+[                1070] <ix>  got bool: 1
+[                1100] <ix>  got bool: 0
+[                1130] <ix>  got bool: 1
+[                1160] <ix>  got bool: 0
+[                1190] <ix>  got bool: 1
+[                1220] <ix>  got bool: 0
+[                1250] <ix>  got bool: 1
+[                1280] <ix>  got bool: 0
+[                1310] <ix>  got bool: 1
+[                1340] <ix>  got bool: 0
+[                1370] <ix>  got bool: 1
+[                1400] <ix>  got bool: 0
+[                1430] <ix>  got bool: 1
+[                1460] <ix>  got bool: 0
+[                1490] <ix>  got bool: 1
+[                1520] <ix>  got bool: 0
+[                1550] <ix>  got bool: 1
+[                1580] <ix>  got bool: 0
+[                1610] <ix>  got bool: 1
+[                1640] <ix>  got bool: 0
+[                1670] <ix>  got bool: 1
+[                1700] <ix>  got bool: 0
+[                1730] <ix>  got bool: 1
+[                1760] <ix>  got bool: 0
+[                1790] <ix>  got bool: 1
+[                1820] <ix>  got bool: 0
+[                1850] <ix>  got bool: 1
+[                1880] <ix>  got bool: 0
+[                1910] <ix>  got bool: 1
+[                1940] <ix>  got bool: 0
+[                1970] <ix>  got bool: 1
+[                2000] <ix>  got bool: 0
+[                2030] <ix>  got bool: 1
+[                2060] <ix>  got bool: 0
+[                2090] <ix>  got bool: 1
+[                2120] <ix>  got bool: 0
+[                2150] <ix>  got bool: 1
+[                2180] <ix>  got bool: 0
+[                2210] <ix>  got bool: 1
+[                2240] <ix>  got bool: 0
+[                2270] <ix>  got bool: 1
+[                2300] <ix>  got bool: 0
+[                2330] <ix>  got bool: 1
+[                2360] <ix>  got bool: 0
+[                2390] <ix>  got bool: 1
+[                2420] <ix>  got bool: 0
+[                2450] <ix>  got bool: 1
+[                2480] <ix>  got bool: 0
+[                2510] <ix>  got bool: 1
+[                2540] <ix>  got bool: 0
+[                2570] <ix>  got bool: 1
+[                2600] <ix>  got bool: 0
+[                2630] <ix>  got bool: 1
+[                2660] <ix>  got bool: 0
+[                2690] <ix>  got bool: 1
+[                2720] <ix>  got bool: 0
+[                2750] <ix>  got bool: 1
+[                2780] <ix>  got bool: 0
+[                2810] <ix>  got bool: 1
+[                2840] <ix>  got bool: 0
+[                2870] <ix>  got bool: 1
+[                2900] <ix>  got bool: 0
+[                2930] <ix>  got bool: 1
+[                2960] <ix>  got bool: 0
+[                2990] <ix>  got bool: 1
+[                3020] <ix>  got bool: 0
+[                3050] <ix>  got bool: 1
+[                3080] <ix>  got bool: 0
+[                3110] <ix>  got bool: 1
+[                3140] <ix>  got bool: 0
+[                3170] <ix>  got bool: 1
+[                3200] <ix>  got bool: 0
+[                3230] <ix>  got bool: 1
+[                3260] <ix>  got bool: 0
+[                3290] <ix>  got bool: 1
+[                3320] <ix>  got bool: 0
+[                3350] <ix>  got bool: 1
+[                3380] <ix>  got bool: 0
+[                3410] <ix>  got bool: 1
+[                3440] <ix>  got bool: 0
+[                3470] <ix>  got bool: 1
+[                3500] <ix>  got bool: 0
+[                3530] <ix>  got bool: 1
+[                3560] <ix>  got bool: 0
+[                3590] <ix>  got bool: 1
+[                3620] <ix>  got bool: 0
+[                3650] <ix>  got bool: 1
+[                3680] <ix>  got bool: 0
+[                3710] <ix>  got bool: 1
+[                3740] <ix>  got bool: 0
+[                3770] <ix>  got bool: 1
+[                3800] <ix>  got bool: 0
+[                3830] <ix>  got bool: 1
+[                3860] <ix>  got bool: 0
+[                3890] <ix>  got bool: 1
+[                3920] <ix>  got bool: 0
+[                3950] <ix>  got bool: 1
+[                3980] <ix>  got bool: 0
+[                4010] <ix>  got bool: 1
+[                4040] <ix>  got bool: 0
+[                4070] <ix>  got bool: 1
+[                4100] <ix>  got bool: 0
+[                4130] <ix>  got bool: 1
+[                4160] <ix>  got bool: 0
+[                4190] <ix>  got bool: 1
+[                4220] <ix>  got bool: 0
+[                4250] <ix>  got bool: 1
+[                4280] <ix>  got bool: 0
+[                4310] <ix>  got bool: 1
+[                4340] <ix>  got bool: 0
+[                4370] <ix>  got bool: 1
+[                4400] <ix>  got bool: 0
+[                4430] <ix>  got bool: 1
+[                4460] <ix>  got bool: 0
+[                4490] <ix>  got bool: 1
+[                4520] <ix>  got bool: 0
+[                4550] <ix>  got bool: 1
+[                4580] <ix>  got bool: 0
+[                4610] <ix>  got bool: 1
+[                4640] <ix>  got bool: 0
+[                4670] <ix>  got bool: 1
+[                4700] <ix>  got bool: 0
+[                4730] <ix>  got bool: 1
+[                4760] <ix>  got bool: 0
+[                4790] <ix>  got bool: 1
+[                4820] <ix>  got bool: 0
+[                4850] <ix>  got bool: 1
+[                4880] <ix>  got bool: 0
+[                4910] <ix>  got bool: 1
+[                4940] <ix>  got bool: 0
+[                4970] <ix>  got bool: 1
+[                5000] <ix>  got bool: 0
+[                5030] <ix>  got bool: 1
+[                5060] <ix>  got bool: 0
+[                5090] <ix>  got bool: 1
+[                5120] <ix>  got bool: 0
+[                5150] <ix>  got bool: 1
+[                5180] <ix>  got bool: 0
+[                5210] <ix>  got bool: 1
+[                5240] <ix>  got bool: 0
+[                5270] <ix>  got bool: 1
+[                5300] <ix>  got bool: 0
+[                5330] <ix>  got bool: 1
+[                5360] <ix>  got bool: 0
+[                5390] <ix>  got bool: 1
+[                5420] <ix>  got bool: 0
+[                5450] <ix>  got bool: 1
+[                5480] <ix>  got bool: 0
+[                5510] <ix>  got bool: 1
+[                5540] <ix>  got bool: 0
+[                5570] <ix>  got bool: 1
+[                5600] <ix>  got bool: 0
+[                5630] <ix>  got bool: 1
+[                5660] <ix>  got bool: 0
+[                5690] <ix>  got bool: 1
+[                5720] <ix>  got bool: 0
+[                5750] <ix>  got bool: 1
+[                5780] <ix>  got bool: 0
+[                5810] <ix>  got bool: 1
+[                5840] <ix>  got bool: 0
+[                5870] <ix>  got bool: 1
+[                5900] <ix>  got bool: 0
+[                5930] <ix>  got bool: 1
+[                5960] <ix>  got bool: 0
+[                5990] <ix>  got bool: 1
+[                6020] <ix>  got bool: 0
+[                6050] <ix>  got bool: 1
+[                6080] <ix>  got bool: 0
+[                6110] <ix>  got bool: 1
+[                6140] <ix>  got bool: 0
+[                6170] <ix>  got bool: 1
+[                6200] <ix>  got bool: 0
+[                6230] <ix>  got bool: 1
+[                6260] <ix>  got bool: 0
+[                6290] <ix>  got bool: 1
+[                6320] <ix>  got bool: 0
+[                6350] <ix>  got bool: 1
+[                6380] <ix>  got bool: 0
+[                6410] <ix>  got bool: 1
+[                6440] <ix>  got bool: 0
+[                6470] <ix>  got bool: 1
+[                6500] <ix>  got bool: 0
+[                6530] <ix>  got bool: 1
+[                6560] <ix>  got bool: 0
+[                6590] <ix>  got bool: 1
+[                6620] <ix>  got bool: 0
+[                6650] <ix>  got bool: 1
+[                6680] <ix>  got bool: 0
+[                6710] <ix>  got bool: 1
+[                6740] <ix>  got bool: 0
+[                6770] <ix>  got bool: 1
+[                6800] <ix>  got bool: 0
+[                6830] <ix>  got bool: 1
+[                6860] <ix>  got bool: 0
+[                6890] <ix>  got bool: 1
+[                6920] <ix>  got bool: 0
+[                6950] <ix>  got bool: 1
+[                6980] <ix>  got bool: 0
+[                7010] <ix>  got bool: 1
+[                7040] <ix>  got bool: 0
+[                7070] <ix>  got bool: 1
+[                7100] <ix>  got bool: 0
+[                7130] <ix>  got bool: 1
+[                7160] <ix>  got bool: 0
+[                7190] <ix>  got bool: 1
+[                7220] <ix>  got bool: 0
+[                7250] <ix>  got bool: 1
+[                7280] <ix>  got bool: 0
+[                7310] <ix>  got bool: 1
+[                7340] <ix>  got bool: 0
+[                7370] <ix>  got bool: 1
+[                7400] <ix>  got bool: 0
+[                7430] <ix>  got bool: 1
+[                7460] <ix>  got bool: 0
+[                7490] <ix>  got bool: 1
+[                7520] <ix>  got bool: 0
+[                7550] <ix>  got bool: 1
+[                7580] <ix>  got bool: 0
+[                7610] <ix>  got bool: 1
+[                7640] <ix>  got bool: 0
+[                7670] <ix>  got bool: 1
+[                7700] <ix>  got bool: 0
+[                7730] <ix>  got bool: 1
+[                7760] <ix>  got bool: 0
+[                7790] <ix>  got bool: 1
+[                7820] <ix>  got bool: 0
+[                7850] <ix>  got bool: 1
+[                7880] <ix>  got bool: 0
+[                7910] <ix>  got bool: 1
+[                7940] <ix>  got bool: 0
+[                7970] <ix>  got bool: 1
+[                8000] <ix>  got bool: 0
+[                8030] <ix>  got bool: 1
+[                8060] <ix>  got bool: 0
+[                8090] <ix>  got bool: 1
+[                8120] <ix>  got bool: 0
+[                8150] <ix>  got bool: 1
+[                8180] <ix>  got bool: 0
+[                8210] <ix>  got bool: 1
+[                8240] <ix>  got bool: 0
+[                8270] <ix>  got bool: 1
+[                8300] <ix>  got bool: 0
+[                8330] <ix>  got bool: 1
+[                8360] <ix>  got bool: 0
+[                8390] <ix>  got bool: 1
+[                8420] <ix>  got bool: 0
+[                8450] <ix>  got bool: 1
+[                8480] <ix>  got bool: 0
+[                8510] <ix>  got bool: 1
+[                8540] <ix>  got bool: 0
+[                8570] <ix>  got bool: 1
+[                8600] <ix>  got bool: 0
+[                8630] <ix>  got bool: 1
+[                8660] <ix>  got bool: 0
+[                8690] <ix>  got bool: 1
+[                8720] <ix>  got bool: 0
+[                8750] <ix>  got bool: 1
+[                8780] <ix>  got bool: 0
+[                8810] <ix>  got bool: 1
+[                8840] <ix>  got bool: 0
+[                8870] <ix>  got bool: 1
+[                8900] <ix>  got bool: 0
+[                8930] <ix>  got bool: 1
+[                8960] <ix>  got bool: 0
+[                8990] <ix>  got bool: 1
+[                9020] <ix>  got bool: 0
+[                9050] <ix>  got bool: 1
+[                9080] <ix>  got bool: 0
+[                9110] <ix>  got bool: 1
+[                9140] <ix>  got bool: 0
+[                9170] <ix>  got bool: 1
+[                9200] <ix>  got bool: 0
+[                9230] <ix>  got bool: 1
+[                9260] <ix>  got bool: 0
+[                9290] <ix>  got bool: 1
+[                9320] <ix>  got bool: 0
+[                9350] <ix>  got bool: 1
+[                9380] <ix>  got bool: 0
+[                9410] <ix>  got bool: 1
+[                9440] <ix>  got bool: 0
+[                9470] <ix>  got bool: 1
+[                9500] <ix>  got bool: 0
+[                9530] <ix>  got bool: 1
+[                9560] <ix>  got bool: 0
+[                9590] <ix>  got bool: 1
+[                9620] <ix>  got bool: 0
+[                9650] <ix>  got bool: 1
+[                9680] <ix>  got bool: 0
+[                9710] <ix>  got bool: 1
+[                9740] <ix>  got bool: 0
+[                9770] <ix>  got bool: 1
+[                9800] <ix>  got bool: 0
+[                9830] <ix>  got bool: 1
+[                9860] <ix>  got bool: 0
+[                9890] <ix>  got bool: 1
+[                9920] <ix>  got bool: 0
+[                9950] <ix>  got bool: 1
+[                9980] <ix>  got bool: 0
+[               10010] <ix>  got bool: 1
+[               10040] <ix>  got bool: 0
+[               10070] <ix>  got bool: 1
+[               10100] <ix>  got bool: 0
+[               10130] <ix>  got bool: 1
+[               10160] <ix>  got bool: 0
+[               10190] <ix>  got bool: 1
+[               10220] <ix>  got bool: 0
+[               10250] <ix>  got bool: 1
+[               10280] <ix>  got bool: 0
+[               10310] <ix>  got bool: 1
+[               10340] <ix>  got bool: 0
+[               10370] <ix>  got bool: 1
+[               10400] <ix>  got bool: 0
+[               10430] <ix>  got bool: 1
+[               10460] <ix>  got bool: 0
+[               10490] <ix>  got bool: 1
+[               10520] <ix>  got bool: 0
+[               10550] <ix>  got bool: 1
+[               10580] <ix>  got bool: 0
+[               10610] <ix>  got bool: 1
+[               10640] <ix>  got bool: 0
+[               10670] <ix>  got bool: 1
+[               10700] <ix>  got bool: 0
+[               10730] <ix>  got bool: 1
+[               10760] <ix>  got bool: 0
+[               10790] <ix>  got bool: 1
+[               10820] <ix>  got bool: 0
+[               10850] <ix>  got bool: 1
+[               10880] <ix>  got bool: 0
+[               10910] <ix>  got bool: 1
+[               10940] <ix>  got bool: 0
+[               10970] <ix>  got bool: 1
+[               11000] <ix>  got bool: 0
+[               11030] <ix>  got bool: 1
+[               11060] <ix>  got bool: 0
+[               11090] <ix>  got bool: 1
+[               11120] <ix>  got bool: 0
+[               11150] <ix>  got bool: 1
+[               11180] <ix>  got bool: 0
+[               11210] <ix>  got bool: 1
+[               11240] <ix>  got bool: 0
+[               11270] <ix>  got bool: 1
+[               11300] <ix>  got bool: 0
+[               11330] <ix>  got bool: 1
+[               11360] <ix>  got bool: 0
+[               11390] <ix>  got bool: 1
+[               11420] <ix>  got bool: 0
+[               11450] <ix>  got bool: 1
+[               11480] <ix>  got bool: 0
+[               11510] <ix>  got bool: 1
+[               11540] <ix>  got bool: 0
+[               11570] <ix>  got bool: 1
+[               11600] <ix>  got bool: 0
+[               11630] <ix>  got bool: 1
+[               11660] <ix>  got bool: 0
+[               11690] <ix>  got bool: 1
+[               11720] <ix>  got bool: 0
+[               11750] <ix>  got bool: 1
+[               11780] <ix>  got bool: 0
+[               11810] <ix>  got bool: 1
+[               11840] <ix>  got bool: 0
+[               11870] <ix>  got bool: 1
+[               11900] <ix>  got bool: 0
+[               11930] <ix>  got bool: 1
+[               11960] <ix>  got bool: 0
+[               11990] <ix>  got bool: 1
+[               12020] <ix>  got bool: 0
+[               12050] <ix>  got bool: 1
+[               12080] <ix>  got bool: 0
+[               12110] <ix>  got bool: 1
+[               12140] <ix>  got bool: 0
+[               12170] <ix>  got bool: 1
+[               12200] <ix>  got bool: 0
+[               12230] <ix>  got bool: 1
+[               12260] <ix>  got bool: 0
+[               12290] <ix>  got bool: 1
+[               12320] <ix>  got bool: 0
+[               12350] <ix>  got bool: 1
+[               12380] <ix>  got bool: 0
+[               12410] <ix>  got bool: 1
+[               12440] <ix>  got bool: 0
+[               12470] <ix>  got bool: 1
+[               12500] <ix>  got bool: 0
+[               12530] <ix>  got bool: 1
+[               12560] <ix>  got bool: 0
+[               12590] <ix>  got bool: 1
+[               12620] <ix>  got bool: 0
+[               12650] <ix>  got bool: 1
+[               12680] <ix>  got bool: 0
+[               12710] <ix>  got bool: 1
+[               12740] <ix>  got bool: 0
+[               12770] <ix>  got bool: 1
+[               12800] <ix>  got bool: 0
+[               12830] <ix>  got bool: 1
+[               12860] <ix>  got bool: 0
+[               12890] <ix>  got bool: 1
+[               12920] <ix>  got bool: 0
+[               12950] <ix>  got bool: 1
+[               12980] <ix>  got bool: 0
+[               13010] <ix>  got bool: 1
+[               13040] <ix>  got bool: 0
+[               13070] <ix>  got bool: 1
+[               13100] <ix>  got bool: 0
+[               13130] <ix>  got bool: 1
+[               13160] <ix>  got bool: 0
+[               13190] <ix>  got bool: 1
+[               13220] <ix>  got bool: 0
+[               13250] <ix>  got bool: 1
+[               13280] <ix>  got bool: 0
+[               13310] <ix>  got bool: 1
+[               13340] <ix>  got bool: 0
+[               13370] <ix>  got bool: 1
+[               13400] <ix>  got bool: 0
+[               13430] <ix>  got bool: 1
+[               13460] <ix>  got bool: 0
+[               13490] <ix>  got bool: 1
+[               13520] <ix>  got bool: 0
+[               13550] <ix>  got bool: 1
+[               13580] <ix>  got bool: 0
+[               13610] <ix>  got bool: 1
+[               13640] <ix>  got bool: 0
+[               13670] <ix>  got bool: 1
+[               13700] <ix>  got bool: 0
+[               13730] <ix>  got bool: 1
+[               13760] <ix>  got bool: 0
+[               13790] <ix>  got bool: 1
+[               13820] <ix>  got bool: 0
+[               13850] <ix>  got bool: 1
+[               13880] <ix>  got bool: 0
+[               13910] <ix>  got bool: 1
+[               13940] <ix>  got bool: 0
+[               13970] <ix>  got bool: 1
+[               14000] <ix>  got bool: 0
+[               14030] <ix>  got bool: 1
+[               14060] <ix>  got bool: 0
+[               14090] <ix>  got bool: 1
+[               14120] <ix>  got bool: 0
+[               14150] <ix>  got bool: 1
+[               14180] <ix>  got bool: 0
+[               14210] <ix>  got bool: 1
+[               14240] <ix>  got bool: 0
+[               14270] <ix>  got bool: 1
+[               14300] <ix>  got bool: 0
+[               14330] <ix>  got bool: 1
+[               14360] <ix>  got bool: 0
+[               14390] <ix>  got bool: 1
+[               14420] <ix>  got bool: 0
+[               14450] <ix>  got bool: 1
+[               14480] <ix>  got bool: 0
+[               14510] <ix>  got bool: 1
+[               14540] <ix>  got bool: 0
+[               14570] <ix>  got bool: 1
+[               14600] <ix>  got bool: 0
+[               14630] <ix>  got bool: 1
+[               14660] <ix>  got bool: 0
+[               14690] <ix>  got bool: 1
+[               14720] <ix>  got bool: 0
+[               14750] <ix>  got bool: 1
+[               14780] <ix>  got bool: 0
+[               14810] <ix>  got bool: 1
+[               14840] <ix>  got bool: 0
+[               14870] <ix>  got bool: 1
+[               14900] <ix>  got bool: 0
+[               14930] <ix>  got bool: 1
+[               14960] <ix>  got bool: 0
+[               14990] <ix>  got bool: 1
+[               15020] <ix>  got bool: 0
+[               15050] <ix>  got bool: 1
+[               15080] <ix>  got bool: 0
+[               15110] <ix>  got bool: 1
+[               15140] <ix>  got bool: 0
+[               15170] <ix>  got bool: 1
+[               15200] <ix>  got bool: 0
+[               15230] <ix>  got bool: 1
+[               15260] <ix>  got bool: 0
+[               15290] <ix>  got bool: 1
+[               15320] <ix>  got bool: 0
+[               15350] <ix>  got bool: 1
+[               15380] <ix>  got bool: 0
+[               15410] <ix>  got bool: 1
+[               15440] <ix>  got bool: 0
+[               15470] <ix>  got bool: 1
+[               15500] <ix>  got bool: 0
+[               15530] <ix>  got bool: 1
+[               15560] <ix>  got bool: 0
+[               15590] <ix>  got bool: 1
+[               15620] <ix>  got bool: 0
+[               15650] <ix>  got bool: 1
+[               15680] <ix>  got bool: 0
+[               15710] <ix>  got bool: 1
+[               15740] <ix>  got bool: 0
+[               15770] <ix>  got bool: 1
+[               15800] <ix>  got bool: 0
+[               15830] <ix>  got bool: 1
+[               15860] <ix>  got bool: 0
+[               15890] <ix>  got bool: 1
+[               15920] <ix>  got bool: 0
+[               15950] <ix>  got bool: 1
+[               15980] <ix>  got bool: 0
+[               16010] <ix>  got bool: 1
+[               16040] <ix>  got bool: 0
+[               16070] <ix>  got bool: 1
+[               16100] <ix>  got bool: 0
+[               16130] <ix>  got bool: 1
+[               16160] <ix>  got bool: 0
+[               16190] <ix>  got bool: 1
+[               16220] <ix>  got bool: 0
+[               16250] <ix>  got bool: 1
+[               16280] <ix>  got bool: 0
+[               16310] <ix>  got bool: 1
+[               16340] <ix>  got bool: 0
+[               16370] <ix>  got bool: 1
+[               16400] <ix>  got bool: 0
+[               16430] <ix>  got bool: 1
+[               16460] <ix>  got bool: 0
+[               16490] <ix>  got bool: 1
+[               16520] <ix>  got bool: 0
+[               16550] <ix>  got bool: 1
+[               16580] <ix>  got bool: 0
+[               16610] <ix>  got bool: 1
+[               16640] <ix>  got bool: 0
+[               16670] <ix>  got bool: 1
+[               16700] <ix>  got bool: 0
+[               16730] <ix>  got bool: 1
+[               16760] <ix>  got bool: 0
+[               16790] <ix>  got bool: 1
+[               16820] <ix>  got bool: 0
+[               16850] <ix>  got bool: 1
+[               16880] <ix>  got bool: 0
+[               16910] <ix>  got bool: 1
+[               16940] <ix>  got bool: 0
+[               16970] <ix>  got bool: 1
+[               17000] <ix>  got bool: 0
+[               17030] <ix>  got bool: 1
+[               17060] <ix>  got bool: 0
+[               17090] <ix>  got bool: 1
+[               17120] <ix>  got bool: 0
+[               17150] <ix>  got bool: 1
+[               17180] <ix>  got bool: 0
+[               17210] <ix>  got bool: 1
+[               17240] <ix>  got bool: 0
+[               17270] <ix>  got bool: 1
+[               17300] <ix>  got bool: 0
+[               17330] <ix>  got bool: 1
+[               17360] <ix>  got bool: 0
+[               17390] <ix>  got bool: 1
+[               17420] <ix>  got bool: 0
+[               17450] <ix>  got bool: 1
+[               17480] <ix>  got bool: 0
+[               17510] <ix>  got bool: 1
+[               17540] <ix>  got bool: 0
+[               17570] <ix>  got bool: 1
+[               17600] <ix>  got bool: 0
+[               17630] <ix>  got bool: 1
+[               17660] <ix>  got bool: 0
+[               17690] <ix>  got bool: 1
+[               17720] <ix>  got bool: 0
+[               17750] <ix>  got bool: 1
+[               17780] <ix>  got bool: 0
+[               17810] <ix>  got bool: 1
+[               17840] <ix>  got bool: 0
+[               17870] <ix>  got bool: 1
+[               17900] <ix>  got bool: 0
+[               17930] <ix>  got bool: 1
+[               17960] <ix>  got bool: 0
+[               17990] <ix>  got bool: 1
+[               18020] <ix>  got bool: 0
+[               18050] <ix>  got bool: 1
+[               18080] <ix>  got bool: 0
+[               18110] <ix>  got bool: 1
+[               18140] <ix>  got bool: 0
+[               18170] <ix>  got bool: 1
+[               18200] <ix>  got bool: 0
+[               18230] <ix>  got bool: 1
+[               18260] <ix>  got bool: 0
+[               18290] <ix>  got bool: 1
+[               18320] <ix>  got bool: 0
+[               18350] <ix>  got bool: 1
+[               18380] <ix>  got bool: 0
+[               18410] <ix>  got bool: 1
+[               18440] <ix>  got bool: 0
+[               18470] <ix>  got bool: 1
+[               18500] <ix>  got bool: 0
+[               18530] <ix>  got bool: 1
+[               18560] <ix>  got bool: 0
+[               18590] <ix>  got bool: 1
+[               18620] <ix>  got bool: 0
+[               18650] <ix>  got bool: 1
+[               18680] <ix>  got bool: 0
+[               18710] <ix>  got bool: 1
+[               18740] <ix>  got bool: 0
+[               18770] <ix>  got bool: 1
+[               18800] <ix>  got bool: 0
+[               18830] <ix>  got bool: 1
+[               18860] <ix>  got bool: 0
+[               18890] <ix>  got bool: 1
+[               18920] <ix>  got bool: 0
+[               18950] <ix>  got bool: 1
+[               18980] <ix>  got bool: 0
+[               19010] <ix>  got bool: 1
+[               19040] <ix>  got bool: 0
+[               19070] <ix>  got bool: 1
+[               19100] <ix>  got bool: 0
+[               19130] <ix>  got bool: 1
+[               19160] <ix>  got bool: 0
+[               19190] <ix>  got bool: 1
+[               19220] <ix>  got bool: 0
+[               19250] <ix>  got bool: 1
+[               19280] <ix>  got bool: 0
+[               19310] <ix>  got bool: 1
+[               19340] <ix>  got bool: 0
+[               19370] <ix>  got bool: 1
+[               19400] <ix>  got bool: 0
+[               19430] <ix>  got bool: 1
+[               19460] <ix>  got bool: 0
+[               19490] <ix>  got bool: 1
+[               19520] <ix>  got bool: 0
+[               19550] <ix>  got bool: 1
+[               19580] <ix>  got bool: 0
+[               19610] <ix>  got bool: 1
+[               19640] <ix>  got bool: 0
+[               19670] <ix>  got bool: 1
+[               19700] <ix>  got bool: 0
+[               19730] <ix>  got bool: 1
+[               19760] <ix>  got bool: 0
+[               19790] <ix>  got bool: 1
+[               19820] <ix>  got bool: 0
+[               19850] <ix>  got bool: 1
+[               19880] <ix>  got bool: 0
+[               19910] <ix>  got bool: 1
+[               19940] <ix>  got bool: 0
+[               19970] <ix>  got bool: 1
+[               20000] <ix>  got bool: 0
+[               20030] <ix>  got bool: 1
+[               20060] <ix>  got bool: 0
+[               20090] <ix>  got bool: 1
+[               20120] <ix>  got bool: 0
+[               20150] <ix>  got bool: 1
+[               20180] <ix>  got bool: 0
+[               20210] <ix>  got bool: 1
+[               20240] <ix>  got bool: 0
+[               20270] <ix>  got bool: 1
+[               20300] <ix>  got bool: 0
+[               20330] <ix>  got bool: 1
+[               20360] <ix>  got bool: 0
+[               20390] <ix>  got bool: 1
+[               20420] <ix>  got bool: 0
+[               20450] <ix>  got bool: 1
+[               20480] <ix>  got bool: 0
+[               20510] <ix>  got bool: 1
+[               20540] <ix>  got bool: 0
+[               20570] <ix>  got bool: 1
+[               20600] <ix>  got bool: 0
+[               20630] <ix>  got bool: 1
+[               20660] <ix>  got bool: 0
+[               20690] <ix>  got bool: 1
+[               20720] <ix>  got bool: 0
+[               20750] <ix>  got bool: 1
+[               20780] <ix>  got bool: 0
+[               20810] <ix>  got bool: 1
+[               20840] <ix>  got bool: 0
+[               20870] <ix>  got bool: 1
+[               20900] <ix>  got bool: 0
+[               20930] <ix>  got bool: 1
+[               20960] <ix>  got bool: 0
+[               20990] <ix>  got bool: 1
+[               21020] <ix>  got bool: 0
+[               21050] <ix>  got bool: 1
+[               21080] <ix>  got bool: 0
+[               21110] <ix>  got bool: 1
+[               21140] <ix>  got bool: 0
+[               21170] <ix>  got bool: 1
+[               21200] <ix>  got bool: 0
+[               21230] <ix>  got bool: 1
+[               21260] <ix>  got bool: 0
+[               21290] <ix>  got bool: 1
+[               21320] <ix>  got bool: 0
+[               21350] <ix>  got bool: 1
+[               21380] <ix>  got bool: 0
+[               21410] <ix>  got bool: 1
+[               21440] <ix>  got bool: 0
+[               21470] <ix>  got bool: 1
+[               21500] <ix>  got bool: 0
+[               21530] <ix>  got bool: 1
+[               21560] <ix>  got bool: 0
+[               21590] <ix>  got bool: 1
+[               21620] <ix>  got bool: 0
+[               21650] <ix>  got bool: 1
+[               21680] <ix>  got bool: 0
+[               21710] <ix>  got bool: 1
+[               21740] <ix>  got bool: 0
+[               21770] <ix>  got bool: 1
+[               21800] <ix>  got bool: 0
+[               21830] <ix>  got bool: 1
+[               21860] <ix>  got bool: 0
+[               21890] <ix>  got bool: 1
+[               21920] <ix>  got bool: 0
+[               21950] <ix>  got bool: 1
+[               21980] <ix>  got bool: 0
+[               22010] <ix>  got bool: 1
+[               22040] <ix>  got bool: 0
+[               22070] <ix>  got bool: 1
+[               22100] <ix>  got bool: 0
+[               22130] <ix>  got bool: 1
+[               22160] <ix>  got bool: 0
+[               22190] <ix>  got bool: 1
+[               22220] <ix>  got bool: 0
+[               22250] <ix>  got bool: 1
+[               22280] <ix>  got bool: 0
+[               22310] <ix>  got bool: 1
+[               22340] <ix>  got bool: 0
+[               22370] <ix>  got bool: 1
+[               22400] <ix>  got bool: 0
+[               22430] <ix>  got bool: 1
+[               22460] <ix>  got bool: 0
+[               22490] <ix>  got bool: 1
+[               22520] <ix>  got bool: 0
+[               22550] <ix>  got bool: 1
+[               22580] <ix>  got bool: 0
+[               22610] <ix>  got bool: 1
+[               22640] <ix>  got bool: 0
+[               22670] <ix>  got bool: 1
+[               22700] <ix>  got bool: 0
+[               22730] <ix>  got bool: 1
+[               22760] <ix>  got bool: 0
+[               22790] <ix>  got bool: 1
+[               22820] <ix>  got bool: 0
+[               22850] <ix>  got bool: 1
+[               22880] <ix>  got bool: 0
+[               22910] <ix>  got bool: 1
+[               22940] <ix>  got bool: 0
+[               22970] <ix>  got bool: 1
+[               23000] <ix>  got bool: 0
+[               23030] <ix>  got bool: 1
+[               23060] <ix>  got bool: 0
+[               23090] <ix>  got bool: 1
+[               23120] <ix>  got bool: 0
+[               23150] <ix>  got bool: 1
+[               23180] <ix>  got bool: 0
+[               23210] <ix>  got bool: 1
+[               23240] <ix>  got bool: 0
+[               23270] <ix>  got bool: 1
+[               23300] <ix>  got bool: 0
+[               23330] <ix>  got bool: 1
+[               23360] <ix>  got bool: 0
+[               23390] <ix>  got bool: 1
+[               23420] <ix>  got bool: 0
+[               23450] <ix>  got bool: 1
+[               23480] <ix>  got bool: 0
+[               23510] <ix>  got bool: 1
+[               23540] <ix>  got bool: 0
+[               23570] <ix>  got bool: 1
+[               23600] <ix>  got bool: 0
+[               23630] <ix>  got bool: 1
+[               23660] <ix>  got bool: 0
+[               23690] <ix>  got bool: 1
+[               23720] <ix>  got bool: 0
+[               23750] <ix>  got bool: 1
+[               23780] <ix>  got bool: 0
+[               23810] <ix>  got bool: 1
+[               23840] <ix>  got bool: 0
+[               23870] <ix>  got bool: 1
+[               23900] <ix>  got bool: 0
+[               23930] <ix>  got bool: 1
+[               23960] <ix>  got bool: 0
+[               23990] <ix>  got bool: 1
+[               24020] <ix>  got bool: 0
+[               24050] <ix>  got bool: 1
+[               24080] <ix>  got bool: 0
+[               24110] <ix>  got bool: 1
+[               24140] <ix>  got bool: 0
+[               24170] <ix>  got bool: 1
+[               24200] <ix>  got bool: 0
+[               24230] <ix>  got bool: 1
+[               24260] <ix>  got bool: 0
+[               24290] <ix>  got bool: 1
+[               24320] <ix>  got bool: 0
+[               24350] <ix>  got bool: 1
+[               24380] <ix>  got bool: 0
+[               24410] <ix>  got bool: 1
+[               24440] <ix>  got bool: 0
+[               24470] <ix>  got bool: 1
+[               24500] <ix>  got bool: 0
+[               24530] <ix>  got bool: 1
+[               24560] <ix>  got bool: 0
+[               24590] <ix>  got bool: 1
+[               24620] <ix>  got bool: 0
+[               24650] <ix>  got bool: 1
+[               24680] <ix>  got bool: 0
+[               24710] <ix>  got bool: 1
+[               24740] <ix>  got bool: 0
+[               24770] <ix>  got bool: 1
+[               24800] <ix>  got bool: 0
+[               24830] <ix>  got bool: 1
+[               24860] <ix>  got bool: 0
+[               24890] <ix>  got bool: 1
+[               24920] <ix>  got bool: 0
+[               24950] <ix>  got bool: 1
+[               24980] <ix>  got bool: 0
+[               25010] <ix>  got bool: 1
+[               25040] <ix>  got bool: 0
+[               25070] <ix>  got bool: 1
+[               25100] <ix>  got bool: 0
+[               25130] <ix>  got bool: 1
+[               25160] <ix>  got bool: 0
+[               25190] <ix>  got bool: 1
+[               25220] <ix>  got bool: 0
+[               25250] <ix>  got bool: 1
+[               25280] <ix>  got bool: 0
+[               25310] <ix>  got bool: 1
+[               25340] <ix>  got bool: 0
+[               25370] <ix>  got bool: 1
+[               25400] <ix>  got bool: 0
+[               25430] <ix>  got bool: 1
+[               25460] <ix>  got bool: 0
+[               25490] <ix>  got bool: 1
+[               25520] <ix>  got bool: 0
+[               25550] <ix>  got bool: 1
+[               25580] <ix>  got bool: 0
+[               25610] <ix>  got bool: 1
+[               25640] <ix>  got bool: 0
+[               25670] <ix>  got bool: 1
+[               25700] <ix>  got bool: 0
+[               25730] <ix>  got bool: 1
+[               25760] <ix>  got bool: 0
+[               25790] <ix>  got bool: 1
+[               25820] <ix>  got bool: 0
+[               25850] <ix>  got bool: 1
+[               25880] <ix>  got bool: 0
+[               25910] <ix>  got bool: 1
+[               25940] <ix>  got bool: 0
+[               25970] <ix>  got bool: 1
+[               26000] <ix>  got bool: 0
+[               26030] <ix>  got bool: 1
+[               26060] <ix>  got bool: 0