C-to-C: A Type-checking Preprocessor for C Extension Languages by Robert C. Miller.