Leland,

C does emit machine code. In the "old" days it was a common practice to write the OS in C and then optimize it in an assembler.