xref: /dragonfly/lib/libevtr/ktrfmt.yy.c (revision 10cbe914)
1 #line 2 "ktrfmt.yy.c"
2 
3 #line 4 "ktrfmt.yy.c"
4 
5 #define  YY_INT_ALIGNED short int
6 
7 /* A lexical scanner generated by flex */
8 
9 #define yy_create_buffer __ktrfmt_create_buffer
10 #define yy_delete_buffer __ktrfmt_delete_buffer
11 #define yy_flex_debug __ktrfmt_flex_debug
12 #define yy_init_buffer __ktrfmt_init_buffer
13 #define yy_flush_buffer __ktrfmt_flush_buffer
14 #define yy_load_buffer_state __ktrfmt_load_buffer_state
15 #define yy_switch_to_buffer __ktrfmt_switch_to_buffer
16 #define yyin __ktrfmtin
17 #define yyleng __ktrfmtleng
18 #define yylex __ktrfmtlex
19 #define yylineno __ktrfmtlineno
20 #define yyout __ktrfmtout
21 #define yyrestart __ktrfmtrestart
22 #define yytext __ktrfmttext
23 #define yywrap __ktrfmtwrap
24 #define yyalloc __ktrfmtalloc
25 #define yyrealloc __ktrfmtrealloc
26 #define yyfree __ktrfmtfree
27 
28 #define FLEX_SCANNER
29 #define YY_FLEX_MAJOR_VERSION 2
30 #define YY_FLEX_MINOR_VERSION 5
31 #define YY_FLEX_SUBMINOR_VERSION 35
32 #if YY_FLEX_SUBMINOR_VERSION > 0
33 #define FLEX_BETA
34 #endif
35 
36 /* First, we deal with  platform-specific or compiler-specific issues. */
37 
38 /* begin standard C headers. */
39 #include <stdio.h>
40 #include <string.h>
41 #include <errno.h>
42 #include <stdlib.h>
43 
44 /* end standard C headers. */
45 
46 /* flex integer type definitions */
47 
48 #ifndef FLEXINT_H
49 #define FLEXINT_H
50 
51 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
52 
53 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
54 
55 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
56  * if you want the limit (max/min) macros for int types.
57  */
58 #ifndef __STDC_LIMIT_MACROS
59 #define __STDC_LIMIT_MACROS 1
60 #endif
61 
62 #include <inttypes.h>
63 typedef int8_t flex_int8_t;
64 typedef uint8_t flex_uint8_t;
65 typedef int16_t flex_int16_t;
66 typedef uint16_t flex_uint16_t;
67 typedef int32_t flex_int32_t;
68 typedef uint32_t flex_uint32_t;
69 #else
70 typedef signed char flex_int8_t;
71 typedef short int flex_int16_t;
72 typedef int flex_int32_t;
73 typedef unsigned char flex_uint8_t;
74 typedef unsigned short int flex_uint16_t;
75 typedef unsigned int flex_uint32_t;
76 
77 /* Limits of integral types. */
78 #ifndef INT8_MIN
79 #define INT8_MIN               (-128)
80 #endif
81 #ifndef INT16_MIN
82 #define INT16_MIN              (-32767-1)
83 #endif
84 #ifndef INT32_MIN
85 #define INT32_MIN              (-2147483647-1)
86 #endif
87 #ifndef INT8_MAX
88 #define INT8_MAX               (127)
89 #endif
90 #ifndef INT16_MAX
91 #define INT16_MAX              (32767)
92 #endif
93 #ifndef INT32_MAX
94 #define INT32_MAX              (2147483647)
95 #endif
96 #ifndef UINT8_MAX
97 #define UINT8_MAX              (255U)
98 #endif
99 #ifndef UINT16_MAX
100 #define UINT16_MAX             (65535U)
101 #endif
102 #ifndef UINT32_MAX
103 #define UINT32_MAX             (4294967295U)
104 #endif
105 
106 #endif /* ! C99 */
107 
108 #endif /* ! FLEXINT_H */
109 
110 #ifdef __cplusplus
111 
112 /* The "const" storage-class-modifier is valid. */
113 #define YY_USE_CONST
114 
115 #else	/* ! __cplusplus */
116 
117 /* C99 requires __STDC__ to be defined as 1. */
118 #if defined (__STDC__)
119 
120 #define YY_USE_CONST
121 
122 #endif	/* defined (__STDC__) */
123 #endif	/* ! __cplusplus */
124 
125 #ifdef YY_USE_CONST
126 #define yyconst const
127 #else
128 #define yyconst
129 #endif
130 
131 /* Returned upon end-of-file. */
132 #define YY_NULL 0
133 
134 /* Promotes a possibly negative, possibly signed char to an unsigned
135  * integer for use as an array index.  If the signed char is negative,
136  * we want to instead treat it as an 8-bit unsigned char, hence the
137  * double cast.
138  */
139 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
140 
141 /* Enter a start condition.  This macro really ought to take a parameter,
142  * but we do it the disgusting crufty way forced on us by the ()-less
143  * definition of BEGIN.
144  */
145 #define BEGIN (yy_start) = 1 + 2 *
146 
147 /* Translate the current start state into a value that can be later handed
148  * to BEGIN to return to the state.  The YYSTATE alias is for lex
149  * compatibility.
150  */
151 #define YY_START (((yy_start) - 1) / 2)
152 #define YYSTATE YY_START
153 
154 /* Action number for EOF rule of a given start state. */
155 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
156 
157 /* Special action meaning "start processing a new file". */
158 #define YY_NEW_FILE __ktrfmtrestart(__ktrfmtin  )
159 
160 #define YY_END_OF_BUFFER_CHAR 0
161 
162 /* Size of default input buffer. */
163 #ifndef YY_BUF_SIZE
164 #ifdef __ia64__
165 /* On IA-64, the buffer size is 16k, not 8k.
166  * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
167  * Ditto for the __ia64__ case accordingly.
168  */
169 #define YY_BUF_SIZE 32768
170 #else
171 #define YY_BUF_SIZE 16384
172 #endif /* __ia64__ */
173 #endif
174 
175 /* The state buf must be large enough to hold one state per character in the main buffer.
176  */
177 #define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
178 
179 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
180 #define YY_TYPEDEF_YY_BUFFER_STATE
181 typedef struct yy_buffer_state *YY_BUFFER_STATE;
182 #endif
183 
184 extern int __ktrfmtleng;
185 
186 extern FILE *__ktrfmtin, *__ktrfmtout;
187 
188 #define EOB_ACT_CONTINUE_SCAN 0
189 #define EOB_ACT_END_OF_FILE 1
190 #define EOB_ACT_LAST_MATCH 2
191 
192     #define YY_LESS_LINENO(n)
193 
194 /* Return all but the first "n" matched characters back to the input stream. */
195 #define yyless(n) \
196 	do \
197 		{ \
198 		/* Undo effects of setting up __ktrfmttext. */ \
199         int yyless_macro_arg = (n); \
200         YY_LESS_LINENO(yyless_macro_arg);\
201 		*yy_cp = (yy_hold_char); \
202 		YY_RESTORE_YY_MORE_OFFSET \
203 		(yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
204 		YY_DO_BEFORE_ACTION; /* set up __ktrfmttext again */ \
205 		} \
206 	while ( 0 )
207 
208 #define unput(c) yyunput( c, (yytext_ptr)  )
209 
210 #ifndef YY_TYPEDEF_YY_SIZE_T
211 #define YY_TYPEDEF_YY_SIZE_T
212 typedef size_t yy_size_t;
213 #endif
214 
215 #ifndef YY_STRUCT_YY_BUFFER_STATE
216 #define YY_STRUCT_YY_BUFFER_STATE
217 struct yy_buffer_state
218 	{
219 	FILE *yy_input_file;
220 
221 	char *yy_ch_buf;		/* input buffer */
222 	char *yy_buf_pos;		/* current position in input buffer */
223 
224 	/* Size of input buffer in bytes, not including room for EOB
225 	 * characters.
226 	 */
227 	yy_size_t yy_buf_size;
228 
229 	/* Number of characters read into yy_ch_buf, not including EOB
230 	 * characters.
231 	 */
232 	int yy_n_chars;
233 
234 	/* Whether we "own" the buffer - i.e., we know we created it,
235 	 * and can realloc() it to grow it, and should free() it to
236 	 * delete it.
237 	 */
238 	int yy_is_our_buffer;
239 
240 	/* Whether this is an "interactive" input source; if so, and
241 	 * if we're using stdio for input, then we want to use getc()
242 	 * instead of fread(), to make sure we stop fetching input after
243 	 * each newline.
244 	 */
245 	int yy_is_interactive;
246 
247 	/* Whether we're considered to be at the beginning of a line.
248 	 * If so, '^' rules will be active on the next match, otherwise
249 	 * not.
250 	 */
251 	int yy_at_bol;
252 
253     int yy_bs_lineno; /**< The line count. */
254     int yy_bs_column; /**< The column count. */
255 
256 	/* Whether to try to fill the input buffer when we reach the
257 	 * end of it.
258 	 */
259 	int yy_fill_buffer;
260 
261 	int yy_buffer_status;
262 
263 #define YY_BUFFER_NEW 0
264 #define YY_BUFFER_NORMAL 1
265 	/* When an EOF's been seen but there's still some text to process
266 	 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
267 	 * shouldn't try reading from the input source any more.  We might
268 	 * still have a bunch of tokens to match, though, because of
269 	 * possible backing-up.
270 	 *
271 	 * When we actually see the EOF, we change the status to "new"
272 	 * (via __ktrfmtrestart()), so that the user can continue scanning by
273 	 * just pointing __ktrfmtin at a new input file.
274 	 */
275 #define YY_BUFFER_EOF_PENDING 2
276 
277 	};
278 #endif /* !YY_STRUCT_YY_BUFFER_STATE */
279 
280 /* Stack of input buffers. */
281 static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
282 static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
283 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
284 
285 /* We provide macros for accessing buffer states in case in the
286  * future we want to put the buffer states in a more general
287  * "scanner state".
288  *
289  * Returns the top of the stack, or NULL.
290  */
291 #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
292                           ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
293                           : NULL)
294 
295 /* Same as previous macro, but useful when we know that the buffer stack is not
296  * NULL or when we need an lvalue. For internal use only.
297  */
298 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
299 
300 /* yy_hold_char holds the character lost when __ktrfmttext is formed. */
301 static char yy_hold_char;
302 static int yy_n_chars;		/* number of characters read into yy_ch_buf */
303 int __ktrfmtleng;
304 
305 /* Points to current character in buffer. */
306 static char *yy_c_buf_p = (char *) 0;
307 static int yy_init = 0;		/* whether we need to initialize */
308 static int yy_start = 0;	/* start state number */
309 
310 /* Flag which is used to allow __ktrfmtwrap()'s to do buffer switches
311  * instead of setting up a fresh __ktrfmtin.  A bit of a hack ...
312  */
313 static int yy_did_buffer_switch_on_eof;
314 
315 void __ktrfmtrestart (FILE *input_file  );
316 void __ktrfmt_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
317 YY_BUFFER_STATE __ktrfmt_create_buffer (FILE *file,int size  );
318 void __ktrfmt_delete_buffer (YY_BUFFER_STATE b  );
319 void __ktrfmt_flush_buffer (YY_BUFFER_STATE b  );
320 void __ktrfmtpush_buffer_state (YY_BUFFER_STATE new_buffer  );
321 void __ktrfmtpop_buffer_state (void );
322 
323 static void __ktrfmtensure_buffer_stack (void );
324 static void __ktrfmt_load_buffer_state (void );
325 static void __ktrfmt_init_buffer (YY_BUFFER_STATE b,FILE *file  );
326 
327 #define YY_FLUSH_BUFFER __ktrfmt_flush_buffer(YY_CURRENT_BUFFER )
328 
329 YY_BUFFER_STATE __ktrfmt_scan_buffer (char *base,yy_size_t size  );
330 YY_BUFFER_STATE __ktrfmt_scan_string (yyconst char *yy_str  );
331 YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char *bytes,int len  );
332 
333 void *__ktrfmtalloc (yy_size_t  );
334 void *__ktrfmtrealloc (void *,yy_size_t  );
335 void __ktrfmtfree (void *  );
336 
337 #define yy_new_buffer __ktrfmt_create_buffer
338 
339 #define yy_set_interactive(is_interactive) \
340 	{ \
341 	if ( ! YY_CURRENT_BUFFER ){ \
342         __ktrfmtensure_buffer_stack (); \
343 		YY_CURRENT_BUFFER_LVALUE =    \
344             __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE ); \
345 	} \
346 	YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
347 	}
348 
349 #define yy_set_bol(at_bol) \
350 	{ \
351 	if ( ! YY_CURRENT_BUFFER ){\
352         __ktrfmtensure_buffer_stack (); \
353 		YY_CURRENT_BUFFER_LVALUE =    \
354             __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE ); \
355 	} \
356 	YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
357 	}
358 
359 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
360 
361 /* Begin user sect3 */
362 
363 #define __ktrfmtwrap(n) 1
364 #define YY_SKIP_YYWRAP
365 
366 typedef unsigned char YY_CHAR;
367 
368 FILE *__ktrfmtin = (FILE *) 0, *__ktrfmtout = (FILE *) 0;
369 
370 typedef int yy_state_type;
371 
372 extern int __ktrfmtlineno;
373 
374 int __ktrfmtlineno = 1;
375 
376 extern char *__ktrfmttext;
377 #define yytext_ptr __ktrfmttext
378 
379 static yy_state_type yy_get_previous_state (void );
380 static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
381 static int yy_get_next_buffer (void );
382 static void yy_fatal_error (yyconst char msg[]  );
383 
384 /* Done after the current pattern has been matched and before the
385  * corresponding action - sets up __ktrfmttext.
386  */
387 #define YY_DO_BEFORE_ACTION \
388 	(yytext_ptr) = yy_bp; \
389 	__ktrfmtleng = (size_t) (yy_cp - yy_bp); \
390 	(yy_hold_char) = *yy_cp; \
391 	*yy_cp = '\0'; \
392 	(yy_c_buf_p) = yy_cp;
393 
394 #define YY_NUM_RULES 11
395 #define YY_END_OF_BUFFER 12
396 /* This struct is not used in this scanner,
397    but its presence is necessary. */
398 struct yy_trans_info
399 	{
400 	flex_int32_t yy_verify;
401 	flex_int32_t yy_nxt;
402 	};
403 static yyconst flex_int16_t yy_accept[26] =
404     {   0,
405         0,    0,   12,   11,    1,   11,    3,    8,    5,    5,
406         7,    4,    9,   10,    1,    0,    0,    3,    5,    0,
407         4,    2,    2,    6,    0
408     } ;
409 
410 static yyconst flex_int32_t yy_ec[256] =
411     {   0,
412         1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
413         1,    1,    2,    1,    1,    1,    1,    1,    1,    1,
414         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
415         1,    2,    1,    4,    1,    5,    1,    1,    1,    1,
416         1,    1,    1,    1,    1,    6,    1,    7,    8,    8,
417         8,    8,    8,    8,    8,    8,    8,    1,    1,    1,
418         9,    1,    1,    1,   10,   10,   10,   10,   10,   10,
419        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
420        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
421        12,   13,   14,    1,   15,    1,   16,   16,   16,   16,
422 
423        16,   16,   15,   15,   15,   15,   15,   15,   15,   15,
424        15,   15,   15,   15,   15,   15,   15,   15,   15,   17,
425        15,   15,    1,    1,    1,    1,    1,    1,    1,    1,
426         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
427         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
428         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
429         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
430         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
431         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
432         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
433 
434         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
435         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
436         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
437         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
438         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
439         1,    1,    1,    1,    1
440     } ;
441 
442 static yyconst flex_int32_t yy_meta[18] =
443     {   0,
444         1,    1,    2,    2,    1,    1,    3,    3,    1,    4,
445         5,    1,    1,    1,    5,    4,    6
446     } ;
447 
448 static yyconst flex_int16_t yy_base[31] =
449     {   0,
450         0,    0,   31,   54,   26,   14,    0,   54,    9,   11,
451        54,    0,   54,   54,   23,   16,   17,    0,   15,    0,
452         0,   54,   20,    0,   54,   33,   37,   41,   45,   49
453     } ;
454 
455 static yyconst flex_int16_t yy_def[31] =
456     {   0,
457        25,    1,   25,   25,   25,   26,   27,   25,   28,   25,
458        25,   29,   25,   25,   25,   26,   26,   27,   25,   30,
459        29,   25,   26,   30,    0,   25,   25,   25,   25,   25
460     } ;
461 
462 static yyconst flex_int16_t yy_nxt[72] =
463     {   0,
464         4,    5,    4,    6,    7,    8,    9,   10,   11,   12,
465        12,   13,    4,   14,    7,    7,    7,   19,   19,   22,
466        23,   19,   19,   22,   15,   20,   17,   15,   17,   17,
467        25,   25,   17,   16,   25,   16,   16,   16,   16,   18,
468        18,   18,   18,   19,   25,   25,   19,   21,   21,   21,
469        21,   24,   24,    3,   25,   25,   25,   25,   25,   25,
470        25,   25,   25,   25,   25,   25,   25,   25,   25,   25,
471        25
472     } ;
473 
474 static yyconst flex_int16_t yy_chk[72] =
475     {   0,
476         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
477         1,    1,    1,    1,    1,    1,    1,   10,   10,   16,
478        17,   19,   19,   23,   15,    9,    6,    5,   16,   17,
479         3,    0,   23,   26,    0,   26,   26,   26,   26,   27,
480        27,   27,   27,   28,    0,    0,   28,   29,   29,   29,
481        29,   30,   30,   25,   25,   25,   25,   25,   25,   25,
482        25,   25,   25,   25,   25,   25,   25,   25,   25,   25,
483        25
484     } ;
485 
486 static yy_state_type yy_last_accepting_state;
487 static char *yy_last_accepting_cpos;
488 
489 extern int __ktrfmt_flex_debug;
490 int __ktrfmt_flex_debug = 0;
491 
492 /* The intent behind this definition is that it'll catch
493  * any uses of REJECT which flex missed.
494  */
495 #define REJECT reject_used_but_not_detected
496 #define yymore() yymore_used_but_not_detected
497 #define YY_MORE_ADJ 0
498 #define YY_RESTORE_YY_MORE_OFFSET
499 char *__ktrfmttext;
500 #line 1 "ktrfmt.l"
501 #line 2 "ktrfmt.l"
502 
503 #include <assert.h>
504 //#define YYSTYPE struct token
505 #include <stdlib.h>
506 #include "ktrfmt.tab.h"
507 #include "tok.h"
508 #include "internal.h"
509 
510 enum {
511 	NR_TOKENS = 18,
512 };
513 
514 /* XXX: need to switch to reentrant lexer */
515 static struct token tokens[NR_TOKENS];
516 static int curr_tok;
517 static struct symtab *strtab;
518 
519 static
520 struct token *
521 tok_new(void)
522 {
523 	++curr_tok;
524 	if (curr_tok == NR_TOKENS) {
525 		/* can't happen */
526 		fprintf(stderr, "Reached max number of tokens\n");
527 		abort();
528 	}
529 	return &tokens[curr_tok];
530 }
531 
532 void
533 tok_free(struct token *tok)
534 {
535 	assert(&tokens[curr_tok] == tok);
536 	--curr_tok;
537 }
538 
539 /*
540  * We keep track of strings we've seen before so string comparison
541  * can be done w/ a simple pointer comparison
542  */
543 static
544 char *
545 newstr(const char *s)
546 {
547 	void *r;
548 	if (!strtab)
549 		strtab = symtab_new();
550 	if ((r = symtab_find(strtab, s)))
551 		return r;
552 	if (!(r = strdup(s)))
553 		return r;
554 	symtab_insert(strtab, r, r);
555 	return r;
556 }
557 
558 #line 559 "ktrfmt.yy.c"
559 
560 #define INITIAL 0
561 
562 #ifndef YY_NO_UNISTD_H
563 /* Special case for "unistd.h", since it is non-ANSI. We include it way
564  * down here because we want the user's section 1 to have been scanned first.
565  * The user has a chance to override it with an option.
566  */
567 #include <unistd.h>
568 #endif
569 
570 #ifndef YY_EXTRA_TYPE
571 #define YY_EXTRA_TYPE void *
572 #endif
573 
574 static int yy_init_globals (void );
575 
576 /* Accessor methods to globals.
577    These are made visible to non-reentrant scanners for convenience. */
578 
579 int __ktrfmtlex_destroy (void );
580 
581 int __ktrfmtget_debug (void );
582 
583 void __ktrfmtset_debug (int debug_flag  );
584 
585 YY_EXTRA_TYPE __ktrfmtget_extra (void );
586 
587 void __ktrfmtset_extra (YY_EXTRA_TYPE user_defined  );
588 
589 FILE *__ktrfmtget_in (void );
590 
591 void __ktrfmtset_in  (FILE * in_str  );
592 
593 FILE *__ktrfmtget_out (void );
594 
595 void __ktrfmtset_out  (FILE * out_str  );
596 
597 int __ktrfmtget_leng (void );
598 
599 char *__ktrfmtget_text (void );
600 
601 int __ktrfmtget_lineno (void );
602 
603 void __ktrfmtset_lineno (int line_number  );
604 
605 YYSTYPE * __ktrfmtget_lval (void );
606 
607 void __ktrfmtset_lval (YYSTYPE * yylval_param  );
608 
609 /* Macros after this point can all be overridden by user definitions in
610  * section 1.
611  */
612 
613 #ifndef YY_SKIP_YYWRAP
614 #ifdef __cplusplus
615 extern "C" int __ktrfmtwrap (void );
616 #else
617 extern int __ktrfmtwrap (void );
618 #endif
619 #endif
620 
621 #ifndef yytext_ptr
622 static void yy_flex_strncpy (char *,yyconst char *,int );
623 #endif
624 
625 #ifdef YY_NEED_STRLEN
626 static int yy_flex_strlen (yyconst char * );
627 #endif
628 
629 #ifndef YY_NO_INPUT
630 
631 #ifdef __cplusplus
632 static int yyinput (void );
633 #else
634 static int input (void );
635 #endif
636 
637 #endif
638 
639 /* Amount of stuff to slurp up with each read. */
640 #ifndef YY_READ_BUF_SIZE
641 #ifdef __ia64__
642 /* On IA-64, the buffer size is 16k, not 8k */
643 #define YY_READ_BUF_SIZE 16384
644 #else
645 #define YY_READ_BUF_SIZE 8192
646 #endif /* __ia64__ */
647 #endif
648 
649 /* Copy whatever the last rule matched to the standard output. */
650 #ifndef ECHO
651 /* This used to be an fputs(), but since the string might contain NUL's,
652  * we now use fwrite().
653  */
654 #define ECHO do { if (fwrite( __ktrfmttext, __ktrfmtleng, 1, __ktrfmtout )) {} } while (0)
655 #endif
656 
657 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
658  * is returned in "result".
659  */
660 #ifndef YY_INPUT
661 #define YY_INPUT(buf,result,max_size) \
662 	if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
663 		{ \
664 		int c = '*'; \
665 		size_t n; \
666 		for ( n = 0; n < max_size && \
667 			     (c = getc( __ktrfmtin )) != EOF && c != '\n'; ++n ) \
668 			buf[n] = (char) c; \
669 		if ( c == '\n' ) \
670 			buf[n++] = (char) c; \
671 		if ( c == EOF && ferror( __ktrfmtin ) ) \
672 			YY_FATAL_ERROR( "input in flex scanner failed" ); \
673 		result = n; \
674 		} \
675 	else \
676 		{ \
677 		errno=0; \
678 		while ( (result = fread(buf, 1, max_size, __ktrfmtin))==0 && ferror(__ktrfmtin)) \
679 			{ \
680 			if( errno != EINTR) \
681 				{ \
682 				YY_FATAL_ERROR( "input in flex scanner failed" ); \
683 				break; \
684 				} \
685 			errno=0; \
686 			clearerr(__ktrfmtin); \
687 			} \
688 		}\
689 \
690 
691 #endif
692 
693 /* No semi-colon after return; correct usage is to write "yyterminate();" -
694  * we don't want an extra ';' after the "return" because that will cause
695  * some compilers to complain about unreachable statements.
696  */
697 #ifndef yyterminate
698 #define yyterminate() return YY_NULL
699 #endif
700 
701 /* Number of entries by which start-condition stack grows. */
702 #ifndef YY_START_STACK_INCR
703 #define YY_START_STACK_INCR 25
704 #endif
705 
706 /* Report a fatal error. */
707 #ifndef YY_FATAL_ERROR
708 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
709 #endif
710 
711 /* end tables serialization structures and prototypes */
712 
713 /* Default declaration of generated scanner - a define so the user can
714  * easily add parameters.
715  */
716 #ifndef YY_DECL
717 #define YY_DECL_IS_OURS 1
718 
719 extern int __ktrfmtlex \
720                (YYSTYPE * yylval_param );
721 
722 #define YY_DECL int __ktrfmtlex \
723                (YYSTYPE * yylval_param )
724 #endif /* !YY_DECL */
725 
726 /* Code executed at the beginning of each rule, after __ktrfmttext and __ktrfmtleng
727  * have been set up.
728  */
729 #ifndef YY_USER_ACTION
730 #define YY_USER_ACTION
731 #endif
732 
733 /* Code executed at the end of each rule. */
734 #ifndef YY_BREAK
735 #define YY_BREAK break;
736 #endif
737 
738 #define YY_RULE_SETUP \
739 	YY_USER_ACTION
740 
741 /** The main scanner function which does all the work.
742  */
743 YY_DECL
744 {
745 	register yy_state_type yy_current_state;
746 	register char *yy_cp, *yy_bp;
747 	register int yy_act;
748 
749         YYSTYPE * yylval;
750 
751 #line 72 "ktrfmt.l"
752 
753 #line 754 "ktrfmt.yy.c"
754 
755     yylval = yylval_param;
756 
757 	if ( !(yy_init) )
758 		{
759 		(yy_init) = 1;
760 
761 #ifdef YY_USER_INIT
762 		YY_USER_INIT;
763 #endif
764 
765 		if ( ! (yy_start) )
766 			(yy_start) = 1;	/* first start state */
767 
768 		if ( ! __ktrfmtin )
769 			__ktrfmtin = stdin;
770 
771 		if ( ! __ktrfmtout )
772 			__ktrfmtout = stdout;
773 
774 		if ( ! YY_CURRENT_BUFFER ) {
775 			__ktrfmtensure_buffer_stack ();
776 			YY_CURRENT_BUFFER_LVALUE =
777 				__ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
778 		}
779 
780 		__ktrfmt_load_buffer_state( );
781 		}
782 
783 	while ( 1 )		/* loops until end-of-file is reached */
784 		{
785 		yy_cp = (yy_c_buf_p);
786 
787 		/* Support of __ktrfmttext. */
788 		*yy_cp = (yy_hold_char);
789 
790 		/* yy_bp points to the position in yy_ch_buf of the start of
791 		 * the current run.
792 		 */
793 		yy_bp = yy_cp;
794 
795 		yy_current_state = (yy_start);
796 yy_match:
797 		do
798 			{
799 			register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
800 			if ( yy_accept[yy_current_state] )
801 				{
802 				(yy_last_accepting_state) = yy_current_state;
803 				(yy_last_accepting_cpos) = yy_cp;
804 				}
805 			while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
806 				{
807 				yy_current_state = (int) yy_def[yy_current_state];
808 				if ( yy_current_state >= 26 )
809 					yy_c = yy_meta[(unsigned int) yy_c];
810 				}
811 			yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
812 			++yy_cp;
813 			}
814 		while ( yy_base[yy_current_state] != 54 );
815 
816 yy_find_action:
817 		yy_act = yy_accept[yy_current_state];
818 		if ( yy_act == 0 )
819 			{ /* have to back up */
820 			yy_cp = (yy_last_accepting_cpos);
821 			yy_current_state = (yy_last_accepting_state);
822 			yy_act = yy_accept[yy_current_state];
823 			}
824 
825 		YY_DO_BEFORE_ACTION;
826 
827 do_action:	/* This label is used only to access EOF actions. */
828 
829 		switch ( yy_act )
830 	{ /* beginning of action switch */
831 			case 0: /* must back up */
832 			/* undo the effects of YY_DO_BEFORE_ACTION */
833 			*yy_cp = (yy_hold_char);
834 			yy_cp = (yy_last_accepting_cpos);
835 			yy_current_state = (yy_last_accepting_state);
836 			goto yy_find_action;
837 
838 case 1:
839 YY_RULE_SETUP
840 #line 73 "ktrfmt.l"
841 { /* ignore */ }
842 	YY_BREAK
843 case 2:
844 YY_RULE_SETUP
845 #line 74 "ktrfmt.l"
846 {
847 	size_t len;
848 	yylval->tok = tok_new();
849 	yylval->tok->type = TOK_STR;
850 	len = strlen(__ktrfmttext);
851 	assert(__ktrfmttext[len - 1] == '"');
852 	__ktrfmttext[len - 1] = '\0';	/* kill trailing quote */
853 	printd(LEX, "newstr(\"%s\")\n", __ktrfmttext + 1);
854 	yylval->tok->str = newstr(__ktrfmttext + 1);	/* parser detects oom */
855 	__ktrfmttext[len - 1] = '"';	/* restore quote */
856 	printd(LEX, "TOK_STR: \"%s\"\n", yylval->tok->str);
857 	return TOK_STR;
858 	}
859 	YY_BREAK
860 case 3:
861 YY_RULE_SETUP
862 #line 87 "ktrfmt.l"
863 {
864 	yylval->tok = tok_new();
865 	yylval->tok->type = TOK_ID;
866 	printd(LEX, "tok %p TOK_ID %p:%s\n", yylval->tok, __ktrfmttext, __ktrfmttext);
867 	yylval->tok->str = newstr(__ktrfmttext);	/* parser detects oom */
868 	return TOK_ID;
869 	}
870 	YY_BREAK
871 case 4:
872 YY_RULE_SETUP
873 #line 94 "ktrfmt.l"
874 {
875 	yylval->tok = tok_new();
876 	yylval->tok->type = TOK_CTOR;
877 	printd(LEX, "tok %p TOK_CTOR %p:%s\n", yylval->tok, __ktrfmttext, __ktrfmttext);
878 	yylval->tok->str = newstr(__ktrfmttext);	/* parser detects oom */
879 	return TOK_CTOR;
880 	}
881 	YY_BREAK
882 case 5:
883 YY_RULE_SETUP
884 #line 101 "ktrfmt.l"
885 {
886 	yylval->tok = tok_new();
887 	yylval->tok->type = TOK_INT;
888 	yylval->tok->str = strdup(__ktrfmttext);	/* parser detects oom */
889 	printd(LEX, "TOK_INT\n");
890 	return TOK_INT;
891 	}
892 	YY_BREAK
893 case 6:
894 YY_RULE_SETUP
895 #line 108 "ktrfmt.l"
896 {
897 	yylval->tok = tok_new();
898 	yylval->tok->type = TOK_INT;
899 	yylval->tok->str = strdup(__ktrfmttext);	/* parser detects oom */
900 	printd(LEX, "TOK_INT\n");
901 	return TOK_INT;
902 	}
903 	YY_BREAK
904 case 7:
905 YY_RULE_SETUP
906 #line 115 "ktrfmt.l"
907 {
908 	yylval = NULL;
909 	printd(LEX, "TOK_EQ\n");
910 	return TOK_EQ;
911 	}
912 	YY_BREAK
913 case 8:
914 YY_RULE_SETUP
915 #line 120 "ktrfmt.l"
916 {
917 	yylval = NULL;
918 	printd(LEX, "TOK_DOT\n");
919 	return TOK_DOT;
920 	}
921 	YY_BREAK
922 case 9:
923 YY_RULE_SETUP
924 #line 125 "ktrfmt.l"
925 {
926 	yylval = NULL;
927 	printd(LEX, "TOK_LEFT_BRACK\n");
928 	return TOK_LEFT_BRACK;
929 	}
930 	YY_BREAK
931 case 10:
932 YY_RULE_SETUP
933 #line 130 "ktrfmt.l"
934 {
935 	yylval = NULL;
936 	printd(LEX, "TOK_RIGHT_BRACK\n");
937 	return TOK_RIGHT_BRACK;
938 	}
939 	YY_BREAK
940 case 11:
941 YY_RULE_SETUP
942 #line 136 "ktrfmt.l"
943 ECHO;
944 	YY_BREAK
945 #line 946 "ktrfmt.yy.c"
946 case YY_STATE_EOF(INITIAL):
947 	yyterminate();
948 
949 	case YY_END_OF_BUFFER:
950 		{
951 		/* Amount of text matched not including the EOB char. */
952 		int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
953 
954 		/* Undo the effects of YY_DO_BEFORE_ACTION. */
955 		*yy_cp = (yy_hold_char);
956 		YY_RESTORE_YY_MORE_OFFSET
957 
958 		if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
959 			{
960 			/* We're scanning a new file or input source.  It's
961 			 * possible that this happened because the user
962 			 * just pointed __ktrfmtin at a new source and called
963 			 * __ktrfmtlex().  If so, then we have to assure
964 			 * consistency between YY_CURRENT_BUFFER and our
965 			 * globals.  Here is the right place to do so, because
966 			 * this is the first action (other than possibly a
967 			 * back-up) that will match for the new input source.
968 			 */
969 			(yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
970 			YY_CURRENT_BUFFER_LVALUE->yy_input_file = __ktrfmtin;
971 			YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
972 			}
973 
974 		/* Note that here we test for yy_c_buf_p "<=" to the position
975 		 * of the first EOB in the buffer, since yy_c_buf_p will
976 		 * already have been incremented past the NUL character
977 		 * (since all states make transitions on EOB to the
978 		 * end-of-buffer state).  Contrast this with the test
979 		 * in input().
980 		 */
981 		if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
982 			{ /* This was really a NUL. */
983 			yy_state_type yy_next_state;
984 
985 			(yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
986 
987 			yy_current_state = yy_get_previous_state(  );
988 
989 			/* Okay, we're now positioned to make the NUL
990 			 * transition.  We couldn't have
991 			 * yy_get_previous_state() go ahead and do it
992 			 * for us because it doesn't know how to deal
993 			 * with the possibility of jamming (and we don't
994 			 * want to build jamming into it because then it
995 			 * will run more slowly).
996 			 */
997 
998 			yy_next_state = yy_try_NUL_trans( yy_current_state );
999 
1000 			yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1001 
1002 			if ( yy_next_state )
1003 				{
1004 				/* Consume the NUL. */
1005 				yy_cp = ++(yy_c_buf_p);
1006 				yy_current_state = yy_next_state;
1007 				goto yy_match;
1008 				}
1009 
1010 			else
1011 				{
1012 				yy_cp = (yy_c_buf_p);
1013 				goto yy_find_action;
1014 				}
1015 			}
1016 
1017 		else switch ( yy_get_next_buffer(  ) )
1018 			{
1019 			case EOB_ACT_END_OF_FILE:
1020 				{
1021 				(yy_did_buffer_switch_on_eof) = 0;
1022 
1023 				if ( __ktrfmtwrap( ) )
1024 					{
1025 					/* Note: because we've taken care in
1026 					 * yy_get_next_buffer() to have set up
1027 					 * __ktrfmttext, we can now set up
1028 					 * yy_c_buf_p so that if some total
1029 					 * hoser (like flex itself) wants to
1030 					 * call the scanner after we return the
1031 					 * YY_NULL, it'll still work - another
1032 					 * YY_NULL will get returned.
1033 					 */
1034 					(yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
1035 
1036 					yy_act = YY_STATE_EOF(YY_START);
1037 					goto do_action;
1038 					}
1039 
1040 				else
1041 					{
1042 					if ( ! (yy_did_buffer_switch_on_eof) )
1043 						YY_NEW_FILE;
1044 					}
1045 				break;
1046 				}
1047 
1048 			case EOB_ACT_CONTINUE_SCAN:
1049 				(yy_c_buf_p) =
1050 					(yytext_ptr) + yy_amount_of_matched_text;
1051 
1052 				yy_current_state = yy_get_previous_state(  );
1053 
1054 				yy_cp = (yy_c_buf_p);
1055 				yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1056 				goto yy_match;
1057 
1058 			case EOB_ACT_LAST_MATCH:
1059 				(yy_c_buf_p) =
1060 				&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1061 
1062 				yy_current_state = yy_get_previous_state(  );
1063 
1064 				yy_cp = (yy_c_buf_p);
1065 				yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1066 				goto yy_find_action;
1067 			}
1068 		break;
1069 		}
1070 
1071 	default:
1072 		YY_FATAL_ERROR(
1073 			"fatal flex scanner internal error--no action found" );
1074 	} /* end of action switch */
1075 		} /* end of scanning one token */
1076 } /* end of __ktrfmtlex */
1077 
1078 /* yy_get_next_buffer - try to read in a new buffer
1079  *
1080  * Returns a code representing an action:
1081  *	EOB_ACT_LAST_MATCH -
1082  *	EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1083  *	EOB_ACT_END_OF_FILE - end of file
1084  */
1085 static int yy_get_next_buffer (void)
1086 {
1087     	register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1088 	register char *source = (yytext_ptr);
1089 	register int number_to_move, i;
1090 	int ret_val;
1091 
1092 	if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1093 		YY_FATAL_ERROR(
1094 		"fatal flex scanner internal error--end of buffer missed" );
1095 
1096 	if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1097 		{ /* Don't try to fill the buffer, so this is an EOF. */
1098 		if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1099 			{
1100 			/* We matched a single character, the EOB, so
1101 			 * treat this as a final EOF.
1102 			 */
1103 			return EOB_ACT_END_OF_FILE;
1104 			}
1105 
1106 		else
1107 			{
1108 			/* We matched some text prior to the EOB, first
1109 			 * process it.
1110 			 */
1111 			return EOB_ACT_LAST_MATCH;
1112 			}
1113 		}
1114 
1115 	/* Try to read more data. */
1116 
1117 	/* First move last chars to start of buffer. */
1118 	number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1119 
1120 	for ( i = 0; i < number_to_move; ++i )
1121 		*(dest++) = *(source++);
1122 
1123 	if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1124 		/* don't do the read, it's not guaranteed to return an EOF,
1125 		 * just force an EOF
1126 		 */
1127 		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1128 
1129 	else
1130 		{
1131 			int num_to_read =
1132 			YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1133 
1134 		while ( num_to_read <= 0 )
1135 			{ /* Not enough room in the buffer - grow it. */
1136 
1137 			/* just a shorter name for the current buffer */
1138 			YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
1139 
1140 			int yy_c_buf_p_offset =
1141 				(int) ((yy_c_buf_p) - b->yy_ch_buf);
1142 
1143 			if ( b->yy_is_our_buffer )
1144 				{
1145 				int new_size = b->yy_buf_size * 2;
1146 
1147 				if ( new_size <= 0 )
1148 					b->yy_buf_size += b->yy_buf_size / 8;
1149 				else
1150 					b->yy_buf_size *= 2;
1151 
1152 				b->yy_ch_buf = (char *)
1153 					/* Include room in for 2 EOB chars. */
1154 					__ktrfmtrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2  );
1155 				}
1156 			else
1157 				/* Can't grow it, we don't own it. */
1158 				b->yy_ch_buf = 0;
1159 
1160 			if ( ! b->yy_ch_buf )
1161 				YY_FATAL_ERROR(
1162 				"fatal error - scanner input buffer overflow" );
1163 
1164 			(yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1165 
1166 			num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1167 						number_to_move - 1;
1168 
1169 			}
1170 
1171 		if ( num_to_read > YY_READ_BUF_SIZE )
1172 			num_to_read = YY_READ_BUF_SIZE;
1173 
1174 		/* Read in more data. */
1175 		YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1176 			(yy_n_chars), (size_t) num_to_read );
1177 
1178 		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1179 		}
1180 
1181 	if ( (yy_n_chars) == 0 )
1182 		{
1183 		if ( number_to_move == YY_MORE_ADJ )
1184 			{
1185 			ret_val = EOB_ACT_END_OF_FILE;
1186 			__ktrfmtrestart(__ktrfmtin  );
1187 			}
1188 
1189 		else
1190 			{
1191 			ret_val = EOB_ACT_LAST_MATCH;
1192 			YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1193 				YY_BUFFER_EOF_PENDING;
1194 			}
1195 		}
1196 
1197 	else
1198 		ret_val = EOB_ACT_CONTINUE_SCAN;
1199 
1200 	if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1201 		/* Extend the array by 50%, plus the number we really need. */
1202 		yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1203 		YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) __ktrfmtrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
1204 		if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1205 			YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1206 	}
1207 
1208 	(yy_n_chars) += number_to_move;
1209 	YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1210 	YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1211 
1212 	(yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1213 
1214 	return ret_val;
1215 }
1216 
1217 /* yy_get_previous_state - get the state just before the EOB char was reached */
1218 
1219     static yy_state_type yy_get_previous_state (void)
1220 {
1221 	register yy_state_type yy_current_state;
1222 	register char *yy_cp;
1223 
1224 	yy_current_state = (yy_start);
1225 
1226 	for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1227 		{
1228 		register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1229 		if ( yy_accept[yy_current_state] )
1230 			{
1231 			(yy_last_accepting_state) = yy_current_state;
1232 			(yy_last_accepting_cpos) = yy_cp;
1233 			}
1234 		while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1235 			{
1236 			yy_current_state = (int) yy_def[yy_current_state];
1237 			if ( yy_current_state >= 26 )
1238 				yy_c = yy_meta[(unsigned int) yy_c];
1239 			}
1240 		yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1241 		}
1242 
1243 	return yy_current_state;
1244 }
1245 
1246 /* yy_try_NUL_trans - try to make a transition on the NUL character
1247  *
1248  * synopsis
1249  *	next_state = yy_try_NUL_trans( current_state );
1250  */
1251     static yy_state_type yy_try_NUL_trans  (yy_state_type yy_current_state )
1252 {
1253 	register int yy_is_jam;
1254     	register char *yy_cp = (yy_c_buf_p);
1255 
1256 	register YY_CHAR yy_c = 1;
1257 	if ( yy_accept[yy_current_state] )
1258 		{
1259 		(yy_last_accepting_state) = yy_current_state;
1260 		(yy_last_accepting_cpos) = yy_cp;
1261 		}
1262 	while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1263 		{
1264 		yy_current_state = (int) yy_def[yy_current_state];
1265 		if ( yy_current_state >= 26 )
1266 			yy_c = yy_meta[(unsigned int) yy_c];
1267 		}
1268 	yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1269 	yy_is_jam = (yy_current_state == 25);
1270 
1271 	return yy_is_jam ? 0 : yy_current_state;
1272 }
1273 
1274 #ifndef YY_NO_INPUT
1275 #ifdef __cplusplus
1276     static int yyinput (void)
1277 #else
1278     static int input  (void)
1279 #endif
1280 
1281 {
1282 	int c;
1283 
1284 	*(yy_c_buf_p) = (yy_hold_char);
1285 
1286 	if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1287 		{
1288 		/* yy_c_buf_p now points to the character we want to return.
1289 		 * If this occurs *before* the EOB characters, then it's a
1290 		 * valid NUL; if not, then we've hit the end of the buffer.
1291 		 */
1292 		if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1293 			/* This was really a NUL. */
1294 			*(yy_c_buf_p) = '\0';
1295 
1296 		else
1297 			{ /* need more input */
1298 			int offset = (yy_c_buf_p) - (yytext_ptr);
1299 			++(yy_c_buf_p);
1300 
1301 			switch ( yy_get_next_buffer(  ) )
1302 				{
1303 				case EOB_ACT_LAST_MATCH:
1304 					/* This happens because yy_g_n_b()
1305 					 * sees that we've accumulated a
1306 					 * token and flags that we need to
1307 					 * try matching the token before
1308 					 * proceeding.  But for input(),
1309 					 * there's no matching to consider.
1310 					 * So convert the EOB_ACT_LAST_MATCH
1311 					 * to EOB_ACT_END_OF_FILE.
1312 					 */
1313 
1314 					/* Reset buffer status. */
1315 					__ktrfmtrestart(__ktrfmtin );
1316 
1317 					/*FALLTHROUGH*/
1318 
1319 				case EOB_ACT_END_OF_FILE:
1320 					{
1321 					if ( __ktrfmtwrap( ) )
1322 						return EOF;
1323 
1324 					if ( ! (yy_did_buffer_switch_on_eof) )
1325 						YY_NEW_FILE;
1326 #ifdef __cplusplus
1327 					return yyinput();
1328 #else
1329 					return input();
1330 #endif
1331 					}
1332 
1333 				case EOB_ACT_CONTINUE_SCAN:
1334 					(yy_c_buf_p) = (yytext_ptr) + offset;
1335 					break;
1336 				}
1337 			}
1338 		}
1339 
1340 	c = *(unsigned char *) (yy_c_buf_p);	/* cast for 8-bit char's */
1341 	*(yy_c_buf_p) = '\0';	/* preserve __ktrfmttext */
1342 	(yy_hold_char) = *++(yy_c_buf_p);
1343 
1344 	return c;
1345 }
1346 #endif	/* ifndef YY_NO_INPUT */
1347 
1348 /** Immediately switch to a different input stream.
1349  * @param input_file A readable stream.
1350  *
1351  * @note This function does not reset the start condition to @c INITIAL .
1352  */
1353     void __ktrfmtrestart  (FILE * input_file )
1354 {
1355 
1356 	if ( ! YY_CURRENT_BUFFER ){
1357         __ktrfmtensure_buffer_stack ();
1358 		YY_CURRENT_BUFFER_LVALUE =
1359             __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
1360 	}
1361 
1362 	__ktrfmt_init_buffer(YY_CURRENT_BUFFER,input_file );
1363 	__ktrfmt_load_buffer_state( );
1364 }
1365 
1366 /** Switch to a different input buffer.
1367  * @param new_buffer The new input buffer.
1368  *
1369  */
1370     void __ktrfmt_switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
1371 {
1372 
1373 	/* TODO. We should be able to replace this entire function body
1374 	 * with
1375 	 *		__ktrfmtpop_buffer_state();
1376 	 *		__ktrfmtpush_buffer_state(new_buffer);
1377      */
1378 	__ktrfmtensure_buffer_stack ();
1379 	if ( YY_CURRENT_BUFFER == new_buffer )
1380 		return;
1381 
1382 	if ( YY_CURRENT_BUFFER )
1383 		{
1384 		/* Flush out information for old buffer. */
1385 		*(yy_c_buf_p) = (yy_hold_char);
1386 		YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1387 		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1388 		}
1389 
1390 	YY_CURRENT_BUFFER_LVALUE = new_buffer;
1391 	__ktrfmt_load_buffer_state( );
1392 
1393 	/* We don't actually know whether we did this switch during
1394 	 * EOF (__ktrfmtwrap()) processing, but the only time this flag
1395 	 * is looked at is after __ktrfmtwrap() is called, so it's safe
1396 	 * to go ahead and always set it.
1397 	 */
1398 	(yy_did_buffer_switch_on_eof) = 1;
1399 }
1400 
1401 static void __ktrfmt_load_buffer_state  (void)
1402 {
1403     	(yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1404 	(yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1405 	__ktrfmtin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1406 	(yy_hold_char) = *(yy_c_buf_p);
1407 }
1408 
1409 /** Allocate and initialize an input buffer state.
1410  * @param file A readable stream.
1411  * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1412  *
1413  * @return the allocated buffer state.
1414  */
1415     YY_BUFFER_STATE __ktrfmt_create_buffer  (FILE * file, int  size )
1416 {
1417 	YY_BUFFER_STATE b;
1418 
1419 	b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state )  );
1420 	if ( ! b )
1421 		YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_create_buffer()" );
1422 
1423 	b->yy_buf_size = size;
1424 
1425 	/* yy_ch_buf has to be 2 characters longer than the size given because
1426 	 * we need to put in 2 end-of-buffer characters.
1427 	 */
1428 	b->yy_ch_buf = (char *) __ktrfmtalloc(b->yy_buf_size + 2  );
1429 	if ( ! b->yy_ch_buf )
1430 		YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_create_buffer()" );
1431 
1432 	b->yy_is_our_buffer = 1;
1433 
1434 	__ktrfmt_init_buffer(b,file );
1435 
1436 	return b;
1437 }
1438 
1439 /** Destroy the buffer.
1440  * @param b a buffer created with __ktrfmt_create_buffer()
1441  *
1442  */
1443     void __ktrfmt_delete_buffer (YY_BUFFER_STATE  b )
1444 {
1445 
1446 	if ( ! b )
1447 		return;
1448 
1449 	if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1450 		YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1451 
1452 	if ( b->yy_is_our_buffer )
1453 		__ktrfmtfree((void *) b->yy_ch_buf  );
1454 
1455 	__ktrfmtfree((void *) b  );
1456 }
1457 
1458 #ifndef __cplusplus
1459 extern int isatty (int );
1460 #endif /* __cplusplus */
1461 
1462 /* Initializes or reinitializes a buffer.
1463  * This function is sometimes called more than once on the same buffer,
1464  * such as during a __ktrfmtrestart() or at EOF.
1465  */
1466     static void __ktrfmt_init_buffer  (YY_BUFFER_STATE  b, FILE * file )
1467 
1468 {
1469 	int oerrno = errno;
1470 
1471 	__ktrfmt_flush_buffer(b );
1472 
1473 	b->yy_input_file = file;
1474 	b->yy_fill_buffer = 1;
1475 
1476     /* If b is the current buffer, then __ktrfmt_init_buffer was _probably_
1477      * called from __ktrfmtrestart() or through yy_get_next_buffer.
1478      * In that case, we don't want to reset the lineno or column.
1479      */
1480     if (b != YY_CURRENT_BUFFER){
1481         b->yy_bs_lineno = 1;
1482         b->yy_bs_column = 0;
1483     }
1484 
1485         b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1486 
1487 	errno = oerrno;
1488 }
1489 
1490 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1491  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1492  *
1493  */
1494     void __ktrfmt_flush_buffer (YY_BUFFER_STATE  b )
1495 {
1496     	if ( ! b )
1497 		return;
1498 
1499 	b->yy_n_chars = 0;
1500 
1501 	/* We always need two end-of-buffer characters.  The first causes
1502 	 * a transition to the end-of-buffer state.  The second causes
1503 	 * a jam in that state.
1504 	 */
1505 	b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1506 	b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1507 
1508 	b->yy_buf_pos = &b->yy_ch_buf[0];
1509 
1510 	b->yy_at_bol = 1;
1511 	b->yy_buffer_status = YY_BUFFER_NEW;
1512 
1513 	if ( b == YY_CURRENT_BUFFER )
1514 		__ktrfmt_load_buffer_state( );
1515 }
1516 
1517 /** Pushes the new state onto the stack. The new state becomes
1518  *  the current state. This function will allocate the stack
1519  *  if necessary.
1520  *  @param new_buffer The new state.
1521  *
1522  */
1523 void __ktrfmtpush_buffer_state (YY_BUFFER_STATE new_buffer )
1524 {
1525     	if (new_buffer == NULL)
1526 		return;
1527 
1528 	__ktrfmtensure_buffer_stack();
1529 
1530 	/* This block is copied from __ktrfmt_switch_to_buffer. */
1531 	if ( YY_CURRENT_BUFFER )
1532 		{
1533 		/* Flush out information for old buffer. */
1534 		*(yy_c_buf_p) = (yy_hold_char);
1535 		YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1536 		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1537 		}
1538 
1539 	/* Only push if top exists. Otherwise, replace top. */
1540 	if (YY_CURRENT_BUFFER)
1541 		(yy_buffer_stack_top)++;
1542 	YY_CURRENT_BUFFER_LVALUE = new_buffer;
1543 
1544 	/* copied from __ktrfmt_switch_to_buffer. */
1545 	__ktrfmt_load_buffer_state( );
1546 	(yy_did_buffer_switch_on_eof) = 1;
1547 }
1548 
1549 /** Removes and deletes the top of the stack, if present.
1550  *  The next element becomes the new top.
1551  *
1552  */
1553 void __ktrfmtpop_buffer_state (void)
1554 {
1555     	if (!YY_CURRENT_BUFFER)
1556 		return;
1557 
1558 	__ktrfmt_delete_buffer(YY_CURRENT_BUFFER );
1559 	YY_CURRENT_BUFFER_LVALUE = NULL;
1560 	if ((yy_buffer_stack_top) > 0)
1561 		--(yy_buffer_stack_top);
1562 
1563 	if (YY_CURRENT_BUFFER) {
1564 		__ktrfmt_load_buffer_state( );
1565 		(yy_did_buffer_switch_on_eof) = 1;
1566 	}
1567 }
1568 
1569 /* Allocates the stack if it does not exist.
1570  *  Guarantees space for at least one push.
1571  */
1572 static void __ktrfmtensure_buffer_stack (void)
1573 {
1574 	int num_to_alloc;
1575 
1576 	if (!(yy_buffer_stack)) {
1577 
1578 		/* First allocation is just for 2 elements, since we don't know if this
1579 		 * scanner will even need a stack. We use 2 instead of 1 to avoid an
1580 		 * immediate realloc on the next call.
1581          */
1582 		num_to_alloc = 1;
1583 		(yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtalloc
1584 								(num_to_alloc * sizeof(struct yy_buffer_state*)
1585 								);
1586 		if ( ! (yy_buffer_stack) )
1587 			YY_FATAL_ERROR( "out of dynamic memory in __ktrfmtensure_buffer_stack()" );
1588 
1589 		memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1590 
1591 		(yy_buffer_stack_max) = num_to_alloc;
1592 		(yy_buffer_stack_top) = 0;
1593 		return;
1594 	}
1595 
1596 	if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1597 
1598 		/* Increase the buffer to prepare for a possible push. */
1599 		int grow_size = 8 /* arbitrary grow size */;
1600 
1601 		num_to_alloc = (yy_buffer_stack_max) + grow_size;
1602 		(yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtrealloc
1603 								((yy_buffer_stack),
1604 								num_to_alloc * sizeof(struct yy_buffer_state*)
1605 								);
1606 		if ( ! (yy_buffer_stack) )
1607 			YY_FATAL_ERROR( "out of dynamic memory in __ktrfmtensure_buffer_stack()" );
1608 
1609 		/* zero only the new slots.*/
1610 		memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1611 		(yy_buffer_stack_max) = num_to_alloc;
1612 	}
1613 }
1614 
1615 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1616  * @param base the character buffer
1617  * @param size the size in bytes of the character buffer
1618  *
1619  * @return the newly allocated buffer state object.
1620  */
1621 YY_BUFFER_STATE __ktrfmt_scan_buffer  (char * base, yy_size_t  size )
1622 {
1623 	YY_BUFFER_STATE b;
1624 
1625 	if ( size < 2 ||
1626 	     base[size-2] != YY_END_OF_BUFFER_CHAR ||
1627 	     base[size-1] != YY_END_OF_BUFFER_CHAR )
1628 		/* They forgot to leave room for the EOB's. */
1629 		return 0;
1630 
1631 	b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state )  );
1632 	if ( ! b )
1633 		YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_scan_buffer()" );
1634 
1635 	b->yy_buf_size = size - 2;	/* "- 2" to take care of EOB's */
1636 	b->yy_buf_pos = b->yy_ch_buf = base;
1637 	b->yy_is_our_buffer = 0;
1638 	b->yy_input_file = 0;
1639 	b->yy_n_chars = b->yy_buf_size;
1640 	b->yy_is_interactive = 0;
1641 	b->yy_at_bol = 1;
1642 	b->yy_fill_buffer = 0;
1643 	b->yy_buffer_status = YY_BUFFER_NEW;
1644 
1645 	__ktrfmt_switch_to_buffer(b  );
1646 
1647 	return b;
1648 }
1649 
1650 /** Setup the input buffer state to scan a string. The next call to __ktrfmtlex() will
1651  * scan from a @e copy of @a str.
1652  * @param yystr a NUL-terminated string to scan
1653  *
1654  * @return the newly allocated buffer state object.
1655  * @note If you want to scan bytes that may contain NUL values, then use
1656  *       __ktrfmt_scan_bytes() instead.
1657  */
1658 YY_BUFFER_STATE __ktrfmt_scan_string (yyconst char * yystr )
1659 {
1660 
1661 	return __ktrfmt_scan_bytes(yystr,strlen(yystr) );
1662 }
1663 
1664 /** Setup the input buffer state to scan the given bytes. The next call to __ktrfmtlex() will
1665  * scan from a @e copy of @a bytes.
1666  * @param yybytes the byte buffer to scan
1667  * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
1668  *
1669  * @return the newly allocated buffer state object.
1670  */
1671 YY_BUFFER_STATE __ktrfmt_scan_bytes  (yyconst char * yybytes, int  _yybytes_len )
1672 {
1673 	YY_BUFFER_STATE b;
1674 	char *buf;
1675 	yy_size_t n;
1676 	int i;
1677 
1678 	/* Get memory for full buffer, including space for trailing EOB's. */
1679 	n = _yybytes_len + 2;
1680 	buf = (char *) __ktrfmtalloc(n  );
1681 	if ( ! buf )
1682 		YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_scan_bytes()" );
1683 
1684 	for ( i = 0; i < _yybytes_len; ++i )
1685 		buf[i] = yybytes[i];
1686 
1687 	buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
1688 
1689 	b = __ktrfmt_scan_buffer(buf,n );
1690 	if ( ! b )
1691 		YY_FATAL_ERROR( "bad buffer in __ktrfmt_scan_bytes()" );
1692 
1693 	/* It's okay to grow etc. this buffer, and we should throw it
1694 	 * away when we're done.
1695 	 */
1696 	b->yy_is_our_buffer = 1;
1697 
1698 	return b;
1699 }
1700 
1701 #ifndef YY_EXIT_FAILURE
1702 #define YY_EXIT_FAILURE 2
1703 #endif
1704 
1705 static void yy_fatal_error (yyconst char* msg )
1706 {
1707     	(void) fprintf( stderr, "%s\n", msg );
1708 	exit( YY_EXIT_FAILURE );
1709 }
1710 
1711 /* Redefine yyless() so it works in section 3 code. */
1712 
1713 #undef yyless
1714 #define yyless(n) \
1715 	do \
1716 		{ \
1717 		/* Undo effects of setting up __ktrfmttext. */ \
1718         int yyless_macro_arg = (n); \
1719         YY_LESS_LINENO(yyless_macro_arg);\
1720 		__ktrfmttext[__ktrfmtleng] = (yy_hold_char); \
1721 		(yy_c_buf_p) = __ktrfmttext + yyless_macro_arg; \
1722 		(yy_hold_char) = *(yy_c_buf_p); \
1723 		*(yy_c_buf_p) = '\0'; \
1724 		__ktrfmtleng = yyless_macro_arg; \
1725 		} \
1726 	while ( 0 )
1727 
1728 /* Accessor  methods (get/set functions) to struct members. */
1729 
1730 /** Get the current line number.
1731  *
1732  */
1733 int __ktrfmtget_lineno  (void)
1734 {
1735 
1736     return __ktrfmtlineno;
1737 }
1738 
1739 /** Get the input stream.
1740  *
1741  */
1742 FILE *__ktrfmtget_in  (void)
1743 {
1744         return __ktrfmtin;
1745 }
1746 
1747 /** Get the output stream.
1748  *
1749  */
1750 FILE *__ktrfmtget_out  (void)
1751 {
1752         return __ktrfmtout;
1753 }
1754 
1755 /** Get the length of the current token.
1756  *
1757  */
1758 int __ktrfmtget_leng  (void)
1759 {
1760         return __ktrfmtleng;
1761 }
1762 
1763 /** Get the current token.
1764  *
1765  */
1766 
1767 char *__ktrfmtget_text  (void)
1768 {
1769         return __ktrfmttext;
1770 }
1771 
1772 /** Set the current line number.
1773  * @param line_number
1774  *
1775  */
1776 void __ktrfmtset_lineno (int  line_number )
1777 {
1778 
1779     __ktrfmtlineno = line_number;
1780 }
1781 
1782 /** Set the input stream. This does not discard the current
1783  * input buffer.
1784  * @param in_str A readable stream.
1785  *
1786  * @see __ktrfmt_switch_to_buffer
1787  */
1788 void __ktrfmtset_in (FILE *  in_str )
1789 {
1790         __ktrfmtin = in_str ;
1791 }
1792 
1793 void __ktrfmtset_out (FILE *  out_str )
1794 {
1795         __ktrfmtout = out_str ;
1796 }
1797 
1798 int __ktrfmtget_debug  (void)
1799 {
1800         return __ktrfmt_flex_debug;
1801 }
1802 
1803 void __ktrfmtset_debug (int  bdebug )
1804 {
1805         __ktrfmt_flex_debug = bdebug ;
1806 }
1807 
1808 static int yy_init_globals (void)
1809 {
1810         /* Initialization is the same as for the non-reentrant scanner.
1811      * This function is called from __ktrfmtlex_destroy(), so don't allocate here.
1812      */
1813 
1814     (yy_buffer_stack) = 0;
1815     (yy_buffer_stack_top) = 0;
1816     (yy_buffer_stack_max) = 0;
1817     (yy_c_buf_p) = (char *) 0;
1818     (yy_init) = 0;
1819     (yy_start) = 0;
1820 
1821 /* Defined in main.c */
1822 #ifdef YY_STDINIT
1823     __ktrfmtin = stdin;
1824     __ktrfmtout = stdout;
1825 #else
1826     __ktrfmtin = (FILE *) 0;
1827     __ktrfmtout = (FILE *) 0;
1828 #endif
1829 
1830     /* For future reference: Set errno on error, since we are called by
1831      * __ktrfmtlex_init()
1832      */
1833     return 0;
1834 }
1835 
1836 /* __ktrfmtlex_destroy is for both reentrant and non-reentrant scanners. */
1837 int __ktrfmtlex_destroy  (void)
1838 {
1839 
1840     /* Pop the buffer stack, destroying each element. */
1841 	while(YY_CURRENT_BUFFER){
1842 		__ktrfmt_delete_buffer(YY_CURRENT_BUFFER  );
1843 		YY_CURRENT_BUFFER_LVALUE = NULL;
1844 		__ktrfmtpop_buffer_state();
1845 	}
1846 
1847 	/* Destroy the stack itself. */
1848 	__ktrfmtfree((yy_buffer_stack) );
1849 	(yy_buffer_stack) = NULL;
1850 
1851     /* Reset the globals. This is important in a non-reentrant scanner so the next time
1852      * __ktrfmtlex() is called, initialization will occur. */
1853     yy_init_globals( );
1854 
1855     return 0;
1856 }
1857 
1858 /*
1859  * Internal utility routines.
1860  */
1861 
1862 #ifndef yytext_ptr
1863 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1864 {
1865 	register int i;
1866 	for ( i = 0; i < n; ++i )
1867 		s1[i] = s2[i];
1868 }
1869 #endif
1870 
1871 #ifdef YY_NEED_STRLEN
1872 static int yy_flex_strlen (yyconst char * s )
1873 {
1874 	register int n;
1875 	for ( n = 0; s[n]; ++n )
1876 		;
1877 
1878 	return n;
1879 }
1880 #endif
1881 
1882 void *__ktrfmtalloc (yy_size_t  size )
1883 {
1884 	return (void *) malloc( size );
1885 }
1886 
1887 void *__ktrfmtrealloc  (void * ptr, yy_size_t  size )
1888 {
1889 	/* The cast to (char *) in the following accommodates both
1890 	 * implementations that use char* generic pointers, and those
1891 	 * that use void* generic pointers.  It works with the latter
1892 	 * because both ANSI C and C++ allow castless assignment from
1893 	 * any pointer type to void*, and deal with argument conversions
1894 	 * as though doing an assignment.
1895 	 */
1896 	return (void *) realloc( (char *) ptr, size );
1897 }
1898 
1899 void __ktrfmtfree (void * ptr )
1900 {
1901 	free( (char *) ptr );	/* see __ktrfmtrealloc() for (char *) cast */
1902 }
1903 
1904 #define YYTABLES_NAME "yytables"
1905 
1906 #line 136 "ktrfmt.l"
1907 
1908 
1909