how did dennis ritchie die - Search