Re: RIP Dennis Ritchie