__ktrfmtfree
__ktrfmtfree((void *) b->yy_ch_buf );
__ktrfmtfree((void *) b );
__ktrfmtfree((yy_buffer_stack) );
#define yyfree __ktrfmtfree
void __ktrfmtfree (void * );