static struct yy_buffer_state *cdecl__yy_create_buffer(FILE *, int, void *);
static struct yy_buffer_state *cdecl__yy_scan_bytes(const char *, int, void *);
static struct yy_buffer_state *cdecl__yy_scan_buffer(char *, size_t, void *);
static void cdecl__yy_switch_to_buffer(struct yy_buffer_state *, void *);
static void cdecl__yy_flush_buffer(struct yy_buffer_state *, void *);
static struct yy_buffer_state *cdecl__yy_create_buffer(FILE *, int, void *);
static struct yy_buffer_state *cdecl__yy_scan_bytes(const char *, int, void *);
static struct yy_buffer_state *cdecl__yy_scan_buffer(char *, size_t, void *);
static void cdecl__yy_switch_to_buffer(struct yy_buffer_state *, void *);
static void cdecl__yy_flush_buffer(struct yy_buffer_state *, void *);