Dennis Ritchie, 1941-2011

http://en.wikipedia.org/wiki/Dennis_Ritchie

printf(“Goodbye, Dennis Ritchie”);