Умер Деннис Ритчи. Вот так уходят легенды...