debugging, concurrent bug