YY_BUF_SIZE
__ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
#ifndef YY_BUF_SIZE
#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
__ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE ); \
__ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE ); \
__ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
yy_create_buffer(yyin,YY_BUF_SIZE );
#ifndef YY_BUF_SIZE
#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
yy_create_buffer(yyin,YY_BUF_SIZE ); \
yy_create_buffer(yyin,YY_BUF_SIZE ); \
yy_create_buffer(yyin,YY_BUF_SIZE );