Failing 6/76. Just passed bad_read2, bad_write2, bad_jump2. Replaced infrastructure for synchronization