__ktrfmt_switch_to_buffer
#define yy_switch_to_buffer __ktrfmt_switch_to_buffer
__ktrfmt_switch_to_buffer(b );
void __ktrfmt_switch_to_buffer (YY_BUFFER_STATE new_buffer );