Heisenbug?