Prototype implementation of concurrency bug tracker CHESS .