Dennis J. Ritchie’s Peers