Code Editor : typecheck-gcc.h