I was at Microsoft for over a decade and had access to the Windows NT source throughout.

I couldn't agree more about Dave's code and the code of the other early contributors to the system. Extremely clean, clear, and simple code neatly partitioned into small understandable functions.