chasing a heisenbug