C trivia - was Re: Dennis Ritchie has died