22 #include <specc/specc_language.h> languaget * new_ansi_c_language()
void register_languages()
languaget * new_jsil_language()
languaget * new_cpp_language()
languaget * new_java_bytecode_language()
void register_language(language_factoryt factory)
Command line interpretation for goto-cc.