__ktrfmtrestart
__ktrfmtrestart(__ktrfmtin );
__ktrfmtrestart(__ktrfmtin );
#define YY_NEW_FILE __ktrfmtrestart(__ktrfmtin )
#define yyrestart __ktrfmtrestart
void __ktrfmtrestart (FILE *input_file );