3 ms·

I know the name well (and am looking at a copy of K&R right now), and I didn't know he had died either.