An experimental library to make multi-threaded code more testable