yy_size_t
if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size )
yy_size_t n;
void *yyalloc (yy_size_t size )
void *yyrealloc (void * ptr, yy_size_t size )
yy_size_t yy_buf_size;
YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size );
void *yyalloc (yy_size_t );
void *yyrealloc (void *,yy_size_t );