R.I.P. Dennis Ritchie and John McCarthy :cry: