__ktrfmt_flush_buffer
#define yy_flush_buffer __ktrfmt_flush_buffer
__ktrfmt_flush_buffer(b );
void __ktrfmt_flush_buffer (YY_BUFFER_STATE b );
#define YY_FLUSH_BUFFER __ktrfmt_flush_buffer(YY_CURRENT_BUFFER )