Another war story: the hardest bug I ever debugged