__ktrfmtalloc
b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
b->yy_ch_buf = (char *) __ktrfmtalloc(b->yy_buf_size + 2 );
(yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtalloc
b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
buf = (char *) __ktrfmtalloc(n );
#define yyalloc __ktrfmtalloc
void *__ktrfmtalloc (yy_size_t );