War story: the hardest bug I ever debugged