• __FailedCondition() : contract.cc , contract.hh
• __Terminate() : contract.cc , contract.hh
• main() : tc.cc
• str() : op-exp.hh
• YY_DECL_() : tiger-parser.hh
• yyalloc() : flex-lexer.hh
• yyfree() : flex-lexer.hh
• yyrealloc() : flex-lexer.hh