Dennis [noun] + ritchie [noun]