Comments: RIP, Dennis Ritchie