Bug fixing
Correctness tests, all passing

Counting correctness is hard because the scheduler is supposed to be random
Also, how to test randomness ?