How we spent two weeks hunting an NFS bug in the Linux kernel