__ktrfmt_init_buffer
#define yy_init_buffer __ktrfmt_init_buffer
__ktrfmt_init_buffer(YY_CURRENT_BUFFER,input_file );
__ktrfmt_init_buffer(b,file );
static void __ktrfmt_init_buffer (YY_BUFFER_STATE b,FILE *file );