When printf() debugging eliminates the impossible, whatever remains, however improbable, must be the bug.