A test framework for verifying concurrency anomalies

s/Null/nil/g