Edit: typecheck-gcc.h