Ritchie is dead! Long live Ritchie!

Homage to Dennis Ritchie