[TUHS] Happy birthday Dennis Ritchie