YY_READ_BUF_SIZE
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
#ifndef YY_READ_BUF_SIZE
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
#ifndef YY_READ_BUF_SIZE
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
#ifndef YY_READ_BUF_SIZE
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
#ifndef YY_READ_BUF_SIZE
#ifndef YY_READ_BUF_SIZE
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;