On 10/13/2011 05:23 AM, Lorenzo Sutton wrote: > It seems Dennis Ritchie passed away last week end. Sad to read about, but thank you for the heads-up. Best, dp