“Dave Plummer considers the Windows NT kernel and its associated APIs to be very well-written, high-quality code.”