person:dennis ritchie