__ktrfmt_scan_buffer
b = __ktrfmt_scan_buffer(buf,n );
YY_BUFFER_STATE __ktrfmt_scan_buffer (char *base,yy_size_t size );