Comment Don't know the answer..but.. (Score 1) 8
All I know is that quench isn't the right word. You quench one's hunger or thirst. You can't quench a person, far as I know. I would say hydrate's a much better option.
Top Ten Things Overheard At The ANSI C Draft Committee Meetings: (8) I'm on the committee and I *still* don't know what the hell #pragma is for.