20 race in race_simple is never probed.  0
32 routine race2 is never entered.  5
32 race in race2 is never probed.  0
51 routine race3 is never entered.  2
51 race in race3 is never probed.  0
51 call of expect_zeroness (in race3) never made.  2
56 race in race4 is never probed.  0
56 call of race2 (in race4) never made.  3
