Simple fork-join programs working well. About to start getting lock/unlock programs to work.
Removing some printf statements
A temporary hack to make the counters "deterministic"
Working pretty well now. Still racing on tokens though.