Re: [LAD] [OT] RIP Dennis Ritchie