Edit File: typecheck-gcc.h