use interleavings to find race condition
tidy test
fix race conditions!
1.1.1