Dennis J. Ritchie's Interests