I'm prepared to bet that both the people that ran into this bug went "huh, that's weird, you'd swear that was a bug in strcmp(). Oh well. Tell you what I'll do

I'm prepared to bet that both the people that ran into this bug went "huh, that's weird, you'd swear that was a bug in strcmp(). Oh well. Tell you what I'll do instead..." Then they promptly forgot all about it.