[ALUG] R.I.P. Dennis Ritchie