what happened to dennis ritchie - Search