taglinefilesource code
check_bugs339init/main.cextern void check_bugs(void);
check_bugs388init/main.ccheck_bugs();