/* A lexical scanner generated by flex */

/* scanner skeleton version:
 * $Header: /home/horse/u0/vern/flex/RCS/flex.skel,v 2.16 90/08/03 14:09:36 vern Exp Locker: vern $
 */

#define FLEX_SCANNER

#include <stdio.h>


/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
#ifdef c_plusplus
#ifndef __cplusplus
#define __cplusplus
#endif
#endif


#ifdef __cplusplus

#include <stdlib.h>
#include <osfcn.h>

/* use prototypes in function declarations */
#define YY_USE_PROTOS

/* the "const" storage-class-modifier is valid */
#define YY_USE_CONST

#else	/* ! __cplusplus */

#ifdef __STDC__

#ifdef __GNUC__
#include <stddef.h>
void *malloc( size_t );
void free( void* );
#else
#include <stdlib.h>
#endif	/* __GNUC__ */

#define YY_USE_PROTOS
#define YY_USE_CONST

#endif	/* __STDC__ */
#endif	/* ! __cplusplus */


#ifdef __TURBOC__
#define YY_USE_CONST
#endif


#ifndef YY_USE_CONST
#define const
#endif


#ifdef YY_USE_PROTOS
#define YY_PROTO(proto) proto
#else
#define YY_PROTO(proto) ()
/* we can't get here if it's an ANSI C compiler, or a C++ compiler,
 * so it's got to be a K&R compiler, and therefore there's no standard
 * place from which to include these definitions
 */
char *malloc();
int free();
int read();
#endif


/* amount of stuff to slurp up with each read */
#ifndef YY_READ_BUF_SIZE
#define YY_READ_BUF_SIZE 8192
#endif

/* returned upon end-of-file */
#define YY_END_TOK 0

/* copy whatever the last rule matched to the standard output */

/* cast to (char *) is because for 8-bit chars, yytext is (unsigned char *) */
/* this used to be an fputs(), but since the string might contain NUL's,
 * we now use fwrite()
 */
#define ECHO (void) fwrite( (char *) yytext, yyleng, 1, yyout )

/* gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
 * is returned in "result".
 */
#define YY_INPUT(buf,result,max_size) \
	if ( (result = read( fileno(yyin), (char *) buf, max_size )) < 0 ) \
	    YY_FATAL_ERROR( "read() in flex scanner failed" );
#define YY_NULL 0

/* no semi-colon after return; correct usage is to write "yyterminate();" -
 * we don't want an extra ';' after the "return" because that will cause
 * some compilers to complain about unreachable statements.
 */
#define yyterminate() return ( YY_NULL )

/* report a fatal error */

/* The funky do-while is used to turn this macro definition into
 * a single C statement (which needs a semi-colon terminator).
 * This avoids problems with code like:
 *
 * 	if ( something_happens )
 *		YY_FATAL_ERROR( "oops, the something happened" );
 *	else
 *		everything_okay();
 *
 * Prior to using the do-while the compiler would get upset at the
 * "else" because it interpreted the "if" statement as being all
 * done when it reached the ';' after the YY_FATAL_ERROR() call.
 */

#define YY_FATAL_ERROR(msg) \
	do \
		{ \
		(void) fputs( msg, stderr ); \
		(void) putc( '\n', stderr ); \
		exit( 1 ); \
		} \
	while ( 0 )

/* default yywrap function - always treat EOF as an EOF */
#define yywrap() 1

/* enter a start condition.  This macro really ought to take a parameter,
 * but we do it the disgusting crufty way forced on us by the ()-less
 * definition of BEGIN
 */
#define BEGIN yy_start = 1 + 2 *

/* action number for EOF rule of a given start state */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)

/* special action meaning "start processing a new file" */
#define YY_NEW_FILE \
	do \
		{ \
		yy_init_buffer( yy_current_buffer, yyin ); \
		yy_load_buffer_state(); \
		} \
	while ( 0 )

/* default declaration of generated scanner - a define so the user can
 * easily add parameters
 */
#define YY_DECL int yylex YY_PROTO(( void )) 

/* code executed at the end of each rule */
#define YY_BREAK break;

#define YY_END_OF_BUFFER_CHAR 0

#ifndef YY_BUF_SIZE
#define YY_BUF_SIZE (YY_READ_BUF_SIZE * 2) /* size of default input buffer */
#endif

typedef struct yy_buffer_state *YY_BUFFER_STATE;

#define YY_CHAR char
# line 1 "xxx.l"
#define INITIAL 0
# line 2 "xxx.l"
#ifndef lint
static char	rcsid[] = "$Header: ver2.6 /usr/src/local/bin/detex/RCS/detex.l,v 2.17 1993/07/30 18:06:07 trinkle Exp $";
#endif

/*
 * detex [-e environment-list] [-c] [-l] [-n] [-s] [-t] [-w] [file[.tex]]
 *
 *	This program is used to remove TeX or LaTeX constructs from a text
 *	file.
 *
 * Written by:
 *	Daniel Trinkle
 *	Department of Computer Science
 *	Purdue University
 *
 */

#include "detex.h"
#ifdef HAVE_STRING_H
#include <string.h>
#define	index	strchr
#define	rindex	strrchr
#else
#include <strings.h>
#endif
#ifndef MAXPATHLEN
#include <sys/param.h>
#endif
#ifdef OS2
#include <stdlib.h>
#endif

#define	LaBEGIN		if (fLatex) BEGIN
#define	CITEBEGIN	if (fLatex && !fCite) BEGIN
#define	IGNORE		if (fSpace && !fWord) putchar(' ')
#define	SPACE		if (!fWord) putchar(' ')
#define	NEWLINE		if (!fWord) putchar('\n')

char	*SafeMalloc();
#ifndef NO_MALLOC_DECL
char	*malloc();
#endif
#ifdef OS2
void	yyless(int);
#endif

char	*rgsbEnvIgnore[MAXENVS];	/* list of environments ignored */
char	*rgsbIncList[MAXINCLIST];	/* list of includeonly files */
char	*rgsbInputPaths[MAXINPUTPATHS];	/* list of input paths in order */
char	sbCurrentEnv[CCHMAXENV];	/* current environment being ignored */
char	*sbProgName;			/* name we were invoked with */
FILE	*rgfp[NOFILE+1];		/* stack of input/include files */
int	cfp = 0;			/* count of files in stack */
int	cOpenBrace = 0;			/* count of `{' in <SG> */
int	csbEnvIgnore;			/* count of environments ignored */
int	csbIncList = 0;			/* count of includeonly files */
int	csbInputPaths;			/* count of input paths */
int	fLatex = 0;			/* flag to indicated delatex */
int	fWord = 0;			/* flag for -w option */
int	fFollow = 1;			/* flag to follow input/include */
int	fCite = 0;			/* flag to echo \cite and \ref args */
int	fSpace = 0;			/* flag to replace \cs with space */
int	fForcetex = 0;			/* flag to inhibit latex mode */
#define SJ 1
#define SK 2
#define SL 3
#define SM 4
#define SN 5
#define SO 6
#define SP 7
#define SA 8
#define SB 9
#define SC 10
#define SD 11
#define SE 12
#define SF 13
#define SH 14
#define SG 15
#define SI 16
# line 74 "xxx.l"

/* done after the current pattern has been matched and before the
 * corresponding action - sets up yytext
 */
#define YY_DO_BEFORE_ACTION \
	yytext = yy_bp; \
	yyleng = yy_cp - yy_bp; \
	yy_hold_char = *yy_cp; \
	*yy_cp = '\0'; \
	yy_c_buf_p = yy_cp;

#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2

/* return all but the first 'n' matched characters back to the input stream */
#define yyless(n) \
	do \
		{ \
		/* undo effects of setting up yytext */ \
		*yy_cp = yy_hold_char; \
		yy_c_buf_p = yy_cp = yy_bp + n; \
		YY_DO_BEFORE_ACTION; /* set up yytext again */ \
		} \
	while ( 0 )

#define unput(c) yyunput( c, yytext )


struct yy_buffer_state
    {
    FILE *yy_input_file;

    YY_CHAR *yy_ch_buf;		/* input buffer */
    YY_CHAR *yy_buf_pos;	/* current position in input buffer */

    /* size of input buffer in bytes, not including room for EOB characters */
    int yy_buf_size;	

    /* number of characters read into yy_ch_buf, not including EOB characters */
    int yy_n_chars;

    int yy_eof_status;		/* whether we've seen an EOF on this buffer */
#define EOF_NOT_SEEN 0
    /* "pending" happens when the EOF has been seen but there's still
     * some text process
     */
#define EOF_PENDING 1
#define EOF_DONE 2
    };

static YY_BUFFER_STATE yy_current_buffer;

/* we provide macros for accessing buffer states in case in the
 * future we want to put the buffer states in a more general
 * "scanner state"
 */
#define YY_CURRENT_BUFFER yy_current_buffer


/* yy_hold_char holds the character lost when yytext is formed */
static YY_CHAR yy_hold_char;

static int yy_n_chars;		/* number of characters read into yy_ch_buf */



#ifndef YY_USER_ACTION
#define YY_USER_ACTION
#endif

#ifndef YY_USER_INIT
#define YY_USER_INIT
#endif

extern YY_CHAR *yytext;
extern int yyleng;
extern FILE *yyin, *yyout;

YY_CHAR *yytext;
int yyleng;

FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;

#define YY_END_OF_BUFFER 88
typedef int yy_state_type;
static const short int yy_accept[282] =
    {   0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,   79,   79,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,   88,   87,   40,   39,   38,   52,
       51,   52,   63,   66,   65,   64,   68,   70,   69,   57,
       55,   54,   57,   86,   86,   53,    1,   85,   86,   81,
       81,   83,   80,   79,   78,   77,   80,   80,   79,    9,
        9,    8,    7,    9,   48,   47,   48,   16,   15,   13,
       14,   12,   11,   12,   44,   43,   44,   59,   61,   60,
       32,   31,   30,   36,   35,   33,   34,    6,    6,   50,

       63,   68,   56,   82,   49,    1,   85,    0,   84,   75,
       74,   41,   73,   73,   73,   73,   45,   73,   73,   73,
       73,   73,   73,   73,   73,   73,   73,   73,   73,   79,
       79,   77,   77,    0,   76,    0,    0,    7,    0,    0,
       46,   13,    0,   42,   59,    0,   84,   73,   73,   72,
       72,   73,   73,   73,   73,   73,   73,   73,   73,   73,
       73,   73,   73,    0,    0,    0,   71,   71,   73,   73,
       73,   37,   73,   22,   73,   73,   73,   73,   73,   27,
       73,   73,    0,   10,    0,   73,   73,   73,   73,   20,
       73,   73,   73,   73,   73,   73,   73,   29,    0,    0,

        0,    3,   73,   73,   73,   73,   73,   23,   67,   24,
       73,   73,   73,    0,    0,    0,    0,    0,   73,   73,
       73,   73,   73,   73,   73,   73,    0,    0,    0,    0,
       17,   73,   73,   73,   58,   25,   73,   73,    0,    0,
        0,   73,   19,   73,   73,   73,   73,    0,    0,    0,
       73,   73,   73,   26,   73,    0,    4,    0,    0,   73,
       73,   73,   28,    0,    0,   73,   73,   62,    0,    0,
       18,   73,    0,    0,   21,    0,    5,    0,    0,    2,
        0
    } ;

static const YY_CHAR yy_ec[128] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    4,    5,    1,    1,    6,    7,    1,    8,    9,
       10,    1,    1,   11,   12,    1,    1,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,    1,    1,    1,
       12,    1,    5,   14,   15,   16,   16,   16,   17,   16,
       16,   16,   16,   16,   16,   18,   16,   16,   19,   16,
       16,   16,   16,   16,   16,   16,   16,   16,   16,   16,
       20,   21,   22,    1,    1,   23,   24,   25,   26,   27,

       28,   29,   30,   31,   32,   18,   16,   33,   34,   35,
       36,   37,   16,   38,   39,   40,   41,   42,   16,   43,
       44,   16,   45,   46,   47,   48,    1
    } ;

static const YY_CHAR yy_meta[49] =
    {   0,
        1,    2,    3,    2,    1,    1,    1,    4,    1,    1,
        5,    6,    6,    7,    8,    8,    8,    8,    8,    1,
        1,    1,    6,    8,    8,    8,    8,    8,    8,    8,
        8,    8,    8,    8,    8,    8,    8,    8,    8,    8,
        8,    8,    8,    8,    2,    1,    9,    1
    } ;

static const short int yy_base[307] =
    {   0,
        0,    0,    0,    1,    2,    3,    8,   11,   14,   21,
       23,   27,   68,    0,  116,    0,  164,    0,   17,   18,
      212,    0,   28,   29,   31,   33,  259,  262,    4,  264,
      265,  268,   39,   44,  737,  738,  738,  738,  738,  738,
      738,  730,    0,  738,  738,  738,    0,  738,  738,  738,
      738,  738,  729,  738,  711,  724,    0,  716,  720,  315,
      738,  738,  738,  273,  738,    0,  261,    0,  676,  738,
      362,  365,    0,  369,  738,  738,  698,  738,  738,    0,
      738,  738,  738,  685,  738,  738,  695,    0,  738,  738,
      738,  738,  738,  738,  738,  738,  738,  738,  676,  738,

        0,    0,  738,  738,  738,    0,  688,  692,  691,  738,
      738,  738,    0,   20,  372,  375,  738,   39,  242,  659,
      244,  648,  378,  381,  384,  658,  649,  248,  647,  387,
      629,    0,    0,  270,    0,  391,  395,    0,  398,  526,
      738,    0,  518,  738,    0,  516,  542,    0,  412,  431,
      738,  519,  523,  507,  516,  518,  516,  259,  517,  511,
      511,  499,  500,  499,  509,  508,  439,  738,  502,  256,
      505,    0,  491,    0,  498,  502,  488,  500,  498,    0,
      499,  498,  497,  738,  442,  486,  480,  487,  477,    0,
      482,  474,  471,  473,  472,    2,  468,    0,  475,  445,

      449,  452,  470,  460,  450,  465,  462,    0,    0,    0,
      460,  445,  436,  436,  458,  438,  461,  465,  424,  427,
      417,  404,  410,  401,  385,  392,  394,  386,  468,  387,
        0,  383,  392,  378,  381,    0,  376,  368,  372,  379,
      377,  372,    0,  351,  335,  286,  280,  471,  281,  262,
      265,  261,  267,    0,  261,  477,  738,  258,  263,  263,
      248,  247,    0,  258,  255,  237,  246,    0,   30,   27,
        0,   29,  480,    3,    0,  499,  738,  505,  508,  738,
      738,  555,  564,  573,  582,  591,  600,  609,  618,  627,
      636,  645,  654,  663,  672,  680,  688,  694,  702,  708,

      710,   20,   19,  718,  723,  725
    } ;

static const short int yy_def[307] =
    {   0,
      282,  282,  283,  283,  284,  284,  285,  285,  286,  286,
      287,  287,  281,   13,  281,   15,  281,   17,  288,  288,
      281,   21,  289,  289,  290,  290,  291,  291,  292,  292,
      293,  293,  294,  294,  281,  281,  281,  281,  281,  281,
      281,  281,  295,  281,  281,  281,  296,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  297,  281,  298,  281,
      281,  281,  281,  281,  281,  299,  300,  301,  281,  281,
      281,  281,  302,  281,  281,  281,  281,  281,  281,  303,
      281,  281,  281,  281,  281,  281,  281,  304,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,

      295,  296,  281,  281,  281,  297,  281,  305,  298,  281,
      281,  281,  306,  306,  306,  306,  281,  306,  306,  306,
      306,  306,  306,  306,  306,  306,  306,  306,  306,  281,
      281,  299,  299,  300,  301,  281,  281,  302,  281,  281,
      281,  303,  281,  281,  304,  281,  305,  306,  306,  281,
      281,  306,  306,  306,  306,  306,  306,  306,  306,  306,
      306,  306,  306,  281,  281,  281,  281,  281,  306,  306,
      306,  306,  306,  306,  306,  306,  306,  306,  306,  306,
      306,  306,  281,  281,  281,  306,  306,  306,  306,  306,
      306,  306,  306,  306,  306,  306,  306,  306,  281,  281,

      281,  306,  306,  306,  306,  306,  306,  306,  306,  306,
      306,  306,  306,  281,  281,  281,  281,  281,  306,  306,
      306,  306,  306,  306,  306,  306,  281,  281,  281,  281,
      306,  306,  306,  306,  306,  306,  306,  306,  281,  281,
      281,  306,  306,  306,  306,  306,  306,  281,  281,  281,
      306,  306,  306,  306,  306,  281,  281,  281,  281,  306,
      306,  306,  306,  281,  281,  306,  306,  306,  281,  281,
      306,  306,  281,  281,  306,  281,  281,  281,  281,  281,
        0,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,

      281,  281,  281,  281,  281,  281
    } ;

static const short int yy_nxt[787] =
    {   0,
      281,  281,   38,   38,   41,   41,   92,   42,   42,   44,
       45,   44,   44,   45,   44,   48,   49,   48,   44,   76,
       76,   44,   48,   49,   48,   51,  142,  138,   52,   51,
       83,   83,   52,   86,  149,   86,  149,   77,   77,  211,
      212,   36,  278,   53,   39,   39,   36,   53,   84,   84,
       93,   87,   44,   87,   46,   44,  275,   46,   48,   99,
       48,  274,  149,  273,   99,   48,  149,   48,   54,   54,
       54,   54,   55,   56,   57,   54,   54,   54,   54,   54,
       58,   54,   59,   59,   59,   59,   59,   54,   60,   54,
       54,   59,   59,   59,   59,   59,   59,   59,   59,   59,

       59,   59,   59,   59,   59,   59,   59,   59,   59,   59,
       59,   59,   61,   61,   61,   62,   63,   64,   65,   64,
       63,   63,   63,   66,   63,   63,   63,   66,   67,   67,
       67,   67,   67,   67,   67,   63,   68,   63,   66,   67,
       67,   67,   67,   67,   67,   67,   67,   67,   67,   67,
       67,   67,   67,   67,   67,   67,   67,   67,   67,   67,
       69,   63,   63,   63,   70,   71,   72,   71,   70,   70,
       70,   70,   70,   70,   70,   70,   70,   70,   73,   73,
       73,   73,   73,   70,   70,   70,   70,   73,   73,   73,
       73,   73,   73,   73,   73,   73,   73,   73,   73,   73,

       73,   73,   73,   73,   73,   73,   73,   73,   74,   70,
       70,   70,   78,   78,   79,   78,   78,   78,   78,   78,
       78,   78,   78,   78,   78,   78,   80,   80,   80,   80,
       80,   78,   78,   78,   78,   80,   80,   80,   80,   80,
       80,   80,   80,   80,   80,   80,   80,   80,   80,   80,
       80,   80,   80,   80,   80,   80,   78,   78,   81,   78,
       89,   90,   89,   89,   90,   89,   92,   95,  133,  152,
       95,  155,  133,  153,  130,  162,  130,  133,  272,  156,
      271,  133,  270,  133,  175,  176,  149,  187,  188,  269,
      268,  267,  133,  266,  189,  177,  265,  264,  263,  262,

      261,  260,  259,   89,  258,   89,   89,  255,   89,   96,
       93,   97,   96,  254,   97,  110,  110,  131,  111,  110,
      110,  110,  110,  112,  110,  110,  110,  110,  113,  114,
      113,  113,  115,  116,  117,  110,  110,  110,  118,  119,
      120,  121,  122,  113,  113,  113,  123,  124,  113,  113,
      125,  126,  127,  128,  113,  113,  129,  113,  113,  110,
      110,  110,  110,  136,  136,  136,  136,  136,  136,  253,
      139,  139,  139,  150,  151,  150,  150,  151,  150,  150,
      151,  150,  150,  151,  150,  150,  151,  150,  130,  252,
      130,  149,  136,  136,  136,  251,  139,  139,  139,  139,

      139,  139,  250,  249,  159,  248,  137,  247,  246,  137,
      140,  149,  158,  167,  168,  167,  245,  244,  151,  243,
      242,  151,  241,  240,  151,  239,  238,  151,  237,  236,
      151,  131,  150,  151,  150,  137,  140,  235,  234,  140,
      167,  168,  167,  200,  200,  200,  200,  200,  200,  233,
      215,  215,  215,  217,  217,  217,  232,  231,  168,  215,
      215,  215,  217,  217,  217,  228,  229,  229,  229,  229,
      229,  229,  256,  256,  256,  227,  226,  151,  256,  256,
      256,  276,  276,  276,  225,  168,  201,  224,  223,  201,
      216,  230,  222,  221,  230,  220,  218,  219,  214,  216,

      276,  276,  276,  213,  210,  218,  279,  279,  279,  279,
      279,  279,  209,  208,  207,  206,  205,  257,  204,  203,
      202,  199,  198,  257,  197,  196,  277,  195,  194,  193,
      192,  191,  190,  186,  185,  184,  183,  182,  181,  180,
      179,  178,  174,  173,  172,  277,  171,  170,  169,  281,
      166,  280,  165,  164,  280,   36,   36,   36,   36,   36,
       36,   36,   36,   36,   37,   37,   37,   37,   37,   37,
       37,   37,   37,   40,   40,   40,   40,   40,   40,   40,
       40,   40,   43,   43,   43,   43,   43,   43,   43,   43,
       43,   47,   47,   47,   47,   47,   47,   47,   47,   47,

       50,   50,   50,   50,   50,   50,   50,   50,   50,   75,
       75,   75,   75,   75,   75,   75,   75,   75,   82,   82,
       82,   82,   82,   82,   82,   82,   82,   85,   85,   85,
       85,   85,   85,   85,   85,   85,   88,   88,   88,   88,
       88,   88,   88,   88,   88,   91,   91,   91,   91,   91,
       91,   91,   91,   91,   94,   94,   94,   94,   94,   94,
       94,   94,   94,   98,   98,   98,   98,   98,   98,   98,
       98,   98,  101,  131,  163,  101,  161,  101,  101,  101,
      102,  160,  157,  102,  102,  102,  102,  102,  106,  106,
      154,  106,  106,  106,  106,  106,  106,  109,  108,  108,

      107,  109,  132,  146,  144,  132,  132,  132,  132,  132,
      132,  134,  143,  134,  134,  134,  135,  135,  145,  141,
      131,  145,  145,  145,  145,  145,  147,  108,  107,  105,
      147,  148,  148,  104,  103,  100,  281,   35,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281
    } ;

static const short int yy_chk[787] =
    {   0,
        0,    0,    3,    4,    5,    6,   29,    5,    6,    7,
        7,    7,    8,    8,    8,    9,    9,    9,    7,   19,
       20,    8,   10,   10,   10,   11,  303,  302,   11,   12,
       23,   24,   12,   25,  114,   26,  114,   19,   20,  196,
      196,   33,  274,   11,    3,    4,   34,   12,   23,   24,
       29,   25,    7,   26,    7,    8,  272,    8,    9,   33,
        9,  270,  118,  269,   34,   10,  118,   10,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,

       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
       15,   15,   15,   15,   17,   17,   17,   17,   17,   17,
       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,
       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,
       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,

       17,   17,   17,   17,   17,   17,   17,   17,   17,   17,
       17,   17,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       27,   27,   27,   28,   28,   28,   30,   31,   67,  119,
       32,  121,   67,  119,   64,  128,   64,  134,  267,  121,
      266,  134,  265,   67,  158,  158,  128,  170,  170,  264,
      262,  261,  134,  260,  170,  158,  259,  258,  255,  253,

      252,  251,  250,   27,  249,   27,   28,  247,   28,   31,
       30,   31,   32,  246,   32,   60,   60,   64,   60,   60,
       60,   60,   60,   60,   60,   60,   60,   60,   60,   60,
       60,   60,   60,   60,   60,   60,   60,   60,   60,   60,
       60,   60,   60,   60,   60,   60,   60,   60,   60,   60,
       60,   60,   60,   60,   60,   60,   60,   60,   60,   60,
       60,   60,   60,   71,   71,   71,   72,   72,   72,  245,
       74,   74,   74,  115,  115,  115,  116,  116,  116,  123,
      123,  123,  124,  124,  124,  125,  125,  125,  130,  244,
      130,  116,  136,  136,  136,  242,  137,  137,  137,  139,

      139,  139,  241,  240,  124,  239,   71,  238,  237,   72,
       74,  125,  123,  149,  149,  149,  235,  234,  115,  233,
      232,  116,  230,  228,  123,  227,  226,  124,  225,  224,
      125,  130,  150,  150,  150,  136,  137,  223,  222,  139,
      167,  167,  167,  185,  185,  185,  200,  200,  200,  221,
      201,  201,  201,  202,  202,  202,  220,  219,  149,  215,
      215,  215,  217,  217,  217,  216,  218,  218,  218,  229,
      229,  229,  248,  248,  248,  214,  213,  150,  256,  256,
      256,  273,  273,  273,  212,  167,  185,  211,  207,  200,
      201,  218,  206,  205,  229,  204,  202,  203,  199,  215,

      276,  276,  276,  197,  195,  217,  278,  278,  278,  279,
      279,  279,  194,  193,  192,  191,  189,  248,  188,  187,
      186,  183,  182,  256,  181,  179,  273,  178,  177,  176,
      175,  173,  171,  169,  166,  165,  164,  163,  162,  161,
      160,  159,  157,  156,  155,  276,  154,  153,  152,  147,
      146,  278,  143,  140,  279,  282,  282,  282,  282,  282,
      282,  282,  282,  282,  283,  283,  283,  283,  283,  283,
      283,  283,  283,  284,  284,  284,  284,  284,  284,  284,
      284,  284,  285,  285,  285,  285,  285,  285,  285,  285,
      285,  286,  286,  286,  286,  286,  286,  286,  286,  286,

      287,  287,  287,  287,  287,  287,  287,  287,  287,  288,
      288,  288,  288,  288,  288,  288,  288,  288,  289,  289,
      289,  289,  289,  289,  289,  289,  289,  290,  290,  290,
      290,  290,  290,  290,  290,  290,  291,  291,  291,  291,
      291,  291,  291,  291,  291,  292,  292,  292,  292,  292,
      292,  292,  292,  292,  293,  293,  293,  293,  293,  293,
      293,  293,  293,  294,  294,  294,  294,  294,  294,  294,
      294,  294,  295,  131,  129,  295,  127,  295,  295,  295,
      296,  126,  122,  296,  296,  296,  296,  296,  297,  297,
      120,  297,  297,  297,  297,  297,  297,  298,  109,  108,

      107,  298,  299,   99,   87,  299,  299,  299,  299,  299,
      299,  300,   84,  300,  300,  300,  301,  301,  304,   77,
       69,  304,  304,  304,  304,  304,  305,   59,   58,   56,
      305,  306,  306,   55,   53,   42,   35,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281
    } ;

static yy_state_type yy_last_accepting_state;
static YY_CHAR *yy_last_accepting_cpos;

/* the intent behind this definition is that it'll catch
 * any uses of REJECT which flex missed
 */
#define REJECT reject_used_but_not_detected
#define yymore() yymore_used_but_not_detected
#define YY_MORE_ADJ 0

/* these variables are all declared out here so that section 3 code can
 * manipulate them
 */
/* points to current character in buffer */
static YY_CHAR *yy_c_buf_p = (YY_CHAR *) 0;
static int yy_init = 1;		/* whether we need to initialize */
static int yy_start = 0;	/* start state number */

/* flag which is used to allow yywrap()'s to do buffer switches
 * instead of setting up a fresh yyin.  A bit of a hack ...
 */
static int yy_did_buffer_switch_on_eof;

static yy_state_type yy_get_previous_state YY_PROTO(( void ));
static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
static int yy_get_next_buffer YY_PROTO(( void ));
static void yyunput YY_PROTO(( YY_CHAR c, YY_CHAR *buf_ptr ));
void yyrestart YY_PROTO(( FILE *input_file ));
void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
void yy_load_buffer_state YY_PROTO(( void ));
YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));

#define yy_new_buffer yy_create_buffer

#ifdef __cplusplus
static int yyinput YY_PROTO(( void ));
#else
static int input YY_PROTO(( void ));
#endif

YY_DECL
    {
    register yy_state_type yy_current_state;
    register YY_CHAR *yy_cp, *yy_bp;
    register int yy_act;



    if ( yy_init )
	{
	YY_USER_INIT;

	if ( ! yy_start )
	    yy_start = 1;	/* first start state */

	if ( ! yyin )
	    yyin = stdin;

	if ( ! yyout )
	    yyout = stdout;

	if ( yy_current_buffer )
	    yy_init_buffer( yy_current_buffer, yyin );
	else
	    yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );

	yy_load_buffer_state();

	yy_init = 0;
	}

    while ( 1 )		/* loops until end-of-file is reached */
	{
	yy_cp = yy_c_buf_p;

	/* support of yytext */
	*yy_cp = yy_hold_char;

	/* yy_bp points to the position in yy_ch_buf of the start of the
	 * current run.
	 */
	yy_bp = yy_cp;

	yy_current_state = yy_start;
yy_match:
	do
	    {
	    register YY_CHAR yy_c = yy_ec[*yy_cp];
	    if ( yy_accept[yy_current_state] )
		{
		yy_last_accepting_state = yy_current_state;
		yy_last_accepting_cpos = yy_cp;
		}
	    while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
		{
		yy_current_state = yy_def[yy_current_state];
		if ( yy_current_state >= 282 )
		    yy_c = yy_meta[yy_c];
		}
	    yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
	    ++yy_cp;
	    }
	while ( yy_current_state != 281 );
	yy_cp = yy_last_accepting_cpos;
	yy_current_state = yy_last_accepting_state;

yy_find_action:
	yy_act = yy_accept[yy_current_state];

	YY_DO_BEFORE_ACTION;
	YY_USER_ACTION;

do_action:	/* this label is used only to access EOF actions */


	switch ( yy_act )
	    {
	    case 0: /* must backtrack */
	    /* undo the effects of YY_DO_BEFORE_ACTION */
	    *yy_cp = yy_hold_char;
	    yy_cp = yy_last_accepting_cpos;
	    yy_current_state = yy_last_accepting_state;
	    goto yy_find_action;

case 1:
# line 75 "xxx.l"
/* ignore comments */	;
	YY_BREAK
case 2:
# line 77 "xxx.l"
{fLatex = !fForcetex; IGNORE;}
	YY_BREAK
case 3:
# line 79 "xxx.l"
/* environment start */	{LaBEGIN SA; IGNORE;}
	YY_BREAK
case 4:
# line 81 "xxx.l"
{   if (BeginEnv("verbatim"))
							BEGIN SD;
						    else
							BEGIN SI;
						    IGNORE;
						}
	YY_BREAK
case 5:
# line 88 "xxx.l"
/* verbatim mode */
	YY_BREAK
						{BEGIN SO; IGNORE;}
case 6:
# line 90 "xxx.l"
ECHO;
	YY_BREAK
case 7:
# line 92 "xxx.l"
{   if (BeginEnv(yytext))
							BEGIN SD;
						    else
							BEGIN SH;
						    IGNORE;
						}
	YY_BREAK
case 8:
# line 98 "xxx.l"
NEWLINE;
	YY_BREAK
case 9:
# line 99 "xxx.l"
;
	YY_BREAK
case 10:
# line 101 "xxx.l"
/* absorb some environments */	{LaBEGIN SC; IGNORE;}
	YY_BREAK
case 11:
# line 102 "xxx.l"
NEWLINE;
	YY_BREAK
case 12:
# line 103 "xxx.l"
;
	YY_BREAK
case 13:
# line 105 "xxx.l"
/* end environment */	{   if (EndEnv(yytext))
							BEGIN SO;
						    IGNORE;
						}
	YY_BREAK
case 14:
# line 109 "xxx.l"
{BEGIN SD; IGNORE;}
	YY_BREAK
case 15:
# line 110 "xxx.l"
NEWLINE;
	YY_BREAK
case 16:
# line 111 "xxx.l"
;
	YY_BREAK
case 17:
# line 113 "xxx.l"
/* ignore args  */	{LaBEGIN SG; IGNORE;}
	YY_BREAK
case 18:
# line 114 "xxx.l"
/* of these \cs */	{LaBEGIN SH; IGNORE;}
	YY_BREAK
case 19:
# line 115 "xxx.l"
{LaBEGIN SH; IGNORE;}
	YY_BREAK
case 20:
# line 116 "xxx.l"
{CITEBEGIN SG; IGNORE;}
	YY_BREAK
case 21:
# line 117 "xxx.l"
{LaBEGIN SH; IGNORE;}
	YY_BREAK
case 22:
# line 118 "xxx.l"
{LaBEGIN SH; IGNORE;}
	YY_BREAK
case 23:
# line 119 "xxx.l"
{LaBEGIN SG; SPACE;}
	YY_BREAK
case 24:
# line 120 "xxx.l"
{LaBEGIN SH; IGNORE;}
	YY_BREAK
case 25:
# line 121 "xxx.l"
{CITEBEGIN SH; IGNORE;}
	YY_BREAK
case 26:
# line 122 "xxx.l"
{LaBEGIN SH; IGNORE;}
	YY_BREAK
case 27:
# line 123 "xxx.l"
{CITEBEGIN SH; IGNORE;}
	YY_BREAK
case 28:
# line 124 "xxx.l"
{LaBEGIN SH; IGNORE;}
	YY_BREAK
case 29:
# line 125 "xxx.l"
/* ignore \verb<char>...<char> */
	YY_BREAK
						{   if (fLatex) {
						 	char verbchar, c;
						 	verbchar = input();
						 	while ((c = input()) != verbchar)
							    if (c == '\n')
								NEWLINE;
						    }
						    IGNORE;
						}
case 30:
# line 135 "xxx.l"
BEGIN SO;
	YY_BREAK
case 31:
# line 136 "xxx.l"
NEWLINE;
	YY_BREAK
case 32:
# line 137 "xxx.l"
;
	YY_BREAK
case 33:
# line 138 "xxx.l"
{   cOpenBrace++; }
	YY_BREAK
case 34:
# line 139 "xxx.l"
{   cOpenBrace--;
						    if (cOpenBrace == 0)
							BEGIN SO;
						}
	YY_BREAK
case 35:
# line 143 "xxx.l"
NEWLINE;
	YY_BREAK
case 36:
# line 144 "xxx.l"
;
	YY_BREAK
case 37:
# line 146 "xxx.l"
/* ignore def begin */	{BEGIN SJ; IGNORE;}
	YY_BREAK
case 38:
# line 147 "xxx.l"
BEGIN SO;
	YY_BREAK
case 39:
# line 148 "xxx.l"
NEWLINE;
	YY_BREAK
case 40:
# line 149 "xxx.l"
;
	YY_BREAK
case 41:
# line 151 "xxx.l"
/* formula mode */	{LaBEGIN SE; IGNORE;}
	YY_BREAK
case 42:
# line 152 "xxx.l"
BEGIN SO;
	YY_BREAK
case 43:
# line 153 "xxx.l"
NEWLINE;
	YY_BREAK
case 44:
# line 154 "xxx.l"
;
	YY_BREAK
case 45:
# line 156 "xxx.l"
/* display mode */	{LaBEGIN SB; IGNORE;}
	YY_BREAK
case 46:
# line 157 "xxx.l"
BEGIN SO;
	YY_BREAK
case 47:
# line 158 "xxx.l"
NEWLINE;
	YY_BREAK
case 48:
# line 159 "xxx.l"
;
	YY_BREAK
case 49:
# line 161 "xxx.l"
/* display mode */	{BEGIN SK; IGNORE;}
	YY_BREAK
case 50:
# line 162 "xxx.l"
BEGIN SO;
	YY_BREAK
case 51:
# line 163 "xxx.l"
NEWLINE;
	YY_BREAK
case 52:
# line 164 "xxx.l"
;
	YY_BREAK
case 53:
# line 166 "xxx.l"
/* math mode */		{BEGIN SN; IGNORE;}
	YY_BREAK
case 54:
# line 167 "xxx.l"
BEGIN SO;
	YY_BREAK
case 55:
# line 168 "xxx.l"
NEWLINE;
	YY_BREAK
case 56:
# line 169 "xxx.l"
;
	YY_BREAK
case 57:
# line 170 "xxx.l"
;
	YY_BREAK
case 58:
# line 172 "xxx.l"
/* process files */	{LaBEGIN SF; IGNORE;}
	YY_BREAK
case 59:
# line 173 "xxx.l"
{   IncludeFile(yytext);
						    BEGIN SO;
						}
	YY_BREAK
case 60:
# line 176 "xxx.l"
NEWLINE;
	YY_BREAK
case 61:
# line 177 "xxx.l"
;
	YY_BREAK
case 62:
# line 179 "xxx.l"
{BEGIN SL; IGNORE;}
	YY_BREAK
case 63:
# line 180 "xxx.l"
AddInclude(yytext);
	YY_BREAK
case 64:
# line 181 "xxx.l"
{   if (csbIncList == 0)
							rgsbIncList[csbIncList++] = '\0';
						    BEGIN SO;
						}
	YY_BREAK
case 65:
# line 185 "xxx.l"
NEWLINE;
	YY_BREAK
case 66:
# line 186 "xxx.l"
;
	YY_BREAK
case 67:
# line 188 "xxx.l"
{BEGIN SM; IGNORE;}
	YY_BREAK
case 68:
# line 189 "xxx.l"
{   InputFile(yytext);
						    BEGIN SO;
						}
	YY_BREAK
case 69:
# line 192 "xxx.l"
NEWLINE;
	YY_BREAK
case 70:
# line 193 "xxx.l"
;
	YY_BREAK
case 71:
# line 195 "xxx.l"
/* handle ligatures */
	YY_BREAK
						{(void)printf("%.2s", yytext+1);}
case 72:
# line 197 "xxx.l"
{(void)printf("%.1s", yytext+1);}
	YY_BREAK
case 73:
# line 199 "xxx.l"
/* ignore other \cs */	{BEGIN SP; IGNORE;}
	YY_BREAK
case 74:
# line 200 "xxx.l"
SPACE;
	YY_BREAK
case 75:
# line 201 "xxx.l"
IGNORE;
	YY_BREAK
case 76:
# line 202 "xxx.l"
IGNORE;
	YY_BREAK
case 77:
# line 203 "xxx.l"
IGNORE;
	YY_BREAK
case 78:
# line 204 "xxx.l"
{BEGIN SO; NEWLINE;}
	YY_BREAK
case 79:
# line 205 "xxx.l"
{BEGIN SO; IGNORE;}
	YY_BREAK
case 80:
# line 206 "xxx.l"
{yyless(0);BEGIN SO;}
	YY_BREAK
case 81:
# line 208 "xxx.l"
/* special characters */	IGNORE;
	YY_BREAK
case 82:
# line 209 "xxx.l"
IGNORE;
	YY_BREAK
case 83:
# line 210 "xxx.l"
SPACE;
	YY_BREAK
case 84:
# line 212 "xxx.l"
{   if (fWord)
							(void)printf("%s\n", yytext);
						    else
							ECHO;
						}
	YY_BREAK
case 85:
# line 217 "xxx.l"
if (!fWord) ECHO;
	YY_BREAK
case 86:
# line 218 "xxx.l"
if (!fWord) ECHO;
	YY_BREAK
case 87:
# line 219 "xxx.l"
ECHO;
	YY_BREAK
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(SJ):
case YY_STATE_EOF(SK):
case YY_STATE_EOF(SL):
case YY_STATE_EOF(SM):
case YY_STATE_EOF(SN):
case YY_STATE_EOF(SO):
case YY_STATE_EOF(SP):
case YY_STATE_EOF(SA):
case YY_STATE_EOF(SB):
case YY_STATE_EOF(SC):
case YY_STATE_EOF(SD):
case YY_STATE_EOF(SE):
case YY_STATE_EOF(SF):
case YY_STATE_EOF(SH):
case YY_STATE_EOF(SG):
case YY_STATE_EOF(SI):
    yyterminate();

	    case YY_END_OF_BUFFER:
		{
		/* amount of text matched not including the EOB char */
		int yy_amount_of_matched_text = yy_cp - yytext - 1;

		/* undo the effects of YY_DO_BEFORE_ACTION */
		*yy_cp = yy_hold_char;

		/* note that here we test for yy_c_buf_p "<=" to the position
		 * of the first EOB in the buffer, since yy_c_buf_p will
		 * already have been incremented past the NUL character
		 * (since all states make transitions on EOB to the end-
		 * of-buffer state).  Contrast this with the test in yyinput().
		 */
		if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
		    /* this was really a NUL */
		    {
		    yy_state_type yy_next_state;

		    yy_c_buf_p = yytext + yy_amount_of_matched_text;

		    yy_current_state = yy_get_previous_state();

		    /* okay, we're now positioned to make the
		     * NUL transition.  We couldn't have
		     * yy_get_previous_state() go ahead and do it
		     * for us because it doesn't know how to deal
		     * with the possibility of jamming (and we
		     * don't want to build jamming into it because
		     * then it will run more slowly)
		     */

		    yy_next_state = yy_try_NUL_trans( yy_current_state );

		    yy_bp = yytext + YY_MORE_ADJ;

		    if ( yy_next_state )
			{
			/* consume the NUL */
			yy_cp = ++yy_c_buf_p;
			yy_current_state = yy_next_state;
			goto yy_match;
			}

		    else
			{
			    yy_cp = yy_last_accepting_cpos;
			    yy_current_state = yy_last_accepting_state;
			goto yy_find_action;
			}
		    }

		else switch ( yy_get_next_buffer() )
		    {
		    case EOB_ACT_END_OF_FILE:
			{
			yy_did_buffer_switch_on_eof = 0;

			if ( yywrap() )
			    {
			    /* note: because we've taken care in
			     * yy_get_next_buffer() to have set up yytext,
			     * we can now set up yy_c_buf_p so that if some
			     * total hoser (like flex itself) wants
			     * to call the scanner after we return the
			     * YY_NULL, it'll still work - another YY_NULL
			     * will get returned.
			     */
			    yy_c_buf_p = yytext + YY_MORE_ADJ;

			    yy_act = YY_STATE_EOF((yy_start - 1) / 2);
			    goto do_action;
			    }

			else
			    {
			    if ( ! yy_did_buffer_switch_on_eof )
				YY_NEW_FILE;
			    }
			}
			break;

		    case EOB_ACT_CONTINUE_SCAN:
			yy_c_buf_p = yytext + yy_amount_of_matched_text;

			yy_current_state = yy_get_previous_state();

			yy_cp = yy_c_buf_p;
			yy_bp = yytext + YY_MORE_ADJ;
			goto yy_match;

		    case EOB_ACT_LAST_MATCH:
			yy_c_buf_p =
			    &yy_current_buffer->yy_ch_buf[yy_n_chars];

			yy_current_state = yy_get_previous_state();

			yy_cp = yy_c_buf_p;
			yy_bp = yytext + YY_MORE_ADJ;
			goto yy_find_action;
		    }
		break;
		}

	    default:
#ifdef FLEX_DEBUG
		printf( "action # %d\n", yy_act );
#endif
		YY_FATAL_ERROR(
			"fatal flex scanner internal error--no action found" );
	    }
	}
    }


/* yy_get_next_buffer - try to read in a new buffer
 *
 * synopsis
 *     int yy_get_next_buffer();
 *     
 * returns a code representing an action
 *     EOB_ACT_LAST_MATCH - 
 *     EOB_ACT_CONTINUE_SCAN - continue scanning from current position
 *     EOB_ACT_END_OF_FILE - end of file
 */

static int yy_get_next_buffer()

    {
    register YY_CHAR *dest = yy_current_buffer->yy_ch_buf;
    register YY_CHAR *source = yytext - 1; /* copy prev. char, too */
    register int number_to_move, i;
    int ret_val;

    if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
	YY_FATAL_ERROR(
		"fatal flex scanner internal error--end of buffer missed" );

    /* try to read more data */

    /* first move last chars to start of buffer */
    number_to_move = yy_c_buf_p - yytext;

    for ( i = 0; i < number_to_move; ++i )
	*(dest++) = *(source++);

    if ( yy_current_buffer->yy_eof_status != EOF_NOT_SEEN )
	/* don't do the read, it's not guaranteed to return an EOF,
	 * just force an EOF
	 */
	yy_n_chars = 0;

    else
	{
	int num_to_read = yy_current_buffer->yy_buf_size - number_to_move - 1;

	if ( num_to_read > YY_READ_BUF_SIZE )
	    num_to_read = YY_READ_BUF_SIZE;

	else if ( num_to_read <= 0 )
	    YY_FATAL_ERROR( "fatal error - scanner input buffer overflow" );

	/* read in more data */
	YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
		  yy_n_chars, num_to_read );
	}

    if ( yy_n_chars == 0 )
	{
	if ( number_to_move - YY_MORE_ADJ == 1 )
	    {
	    ret_val = EOB_ACT_END_OF_FILE;
	    yy_current_buffer->yy_eof_status = EOF_DONE;
	    }

	else
	    {
	    ret_val = EOB_ACT_LAST_MATCH;
	    yy_current_buffer->yy_eof_status = EOF_PENDING;
	    }
	}

    else
	ret_val = EOB_ACT_CONTINUE_SCAN;

    yy_n_chars += number_to_move;
    yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
    yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;

    /* yytext begins at the second character in yy_ch_buf; the first
     * character is the one which preceded it before reading in the latest
     * buffer; it needs to be kept around in case it's a newline, so
     * yy_get_previous_state() will have with '^' rules active
     */

    yytext = &yy_current_buffer->yy_ch_buf[1];

    return ( ret_val );
    }


/* yy_get_previous_state - get the state just before the EOB char was reached
 *
 * synopsis
 *     yy_state_type yy_get_previous_state();
 */

static yy_state_type yy_get_previous_state()

    {
    register yy_state_type yy_current_state;
    register YY_CHAR *yy_cp;

    yy_current_state = yy_start;

    for ( yy_cp = yytext + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
	{
	register YY_CHAR yy_c = (*yy_cp ? yy_ec[*yy_cp] : 1);
	if ( yy_accept[yy_current_state] )
	    {
	    yy_last_accepting_state = yy_current_state;
	    yy_last_accepting_cpos = yy_cp;
	    }
	while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
	    {
	    yy_current_state = yy_def[yy_current_state];
	    if ( yy_current_state >= 282 )
		yy_c = yy_meta[yy_c];
	    }
	yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
	}

    return ( yy_current_state );
    }


/* yy_try_NUL_trans - try to make a transition on the NUL character
 *
 * synopsis
 *     next_state = yy_try_NUL_trans( current_state );
 */

#ifdef YY_USE_PROTOS
static yy_state_type yy_try_NUL_trans( register yy_state_type yy_current_state )
#else
static yy_state_type yy_try_NUL_trans( yy_current_state )
register yy_state_type yy_current_state;
#endif

    {
    register int yy_is_jam;
    register YY_CHAR *yy_cp = yy_c_buf_p;

    register YY_CHAR yy_c = 1;
    if ( yy_accept[yy_current_state] )
	{
	yy_last_accepting_state = yy_current_state;
	yy_last_accepting_cpos = yy_cp;
	}
    while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
	{
	yy_current_state = yy_def[yy_current_state];
	if ( yy_current_state >= 282 )
	    yy_c = yy_meta[yy_c];
	}
    yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
    yy_is_jam = (yy_current_state == 281);

    return ( yy_is_jam ? 0 : yy_current_state );
    }


#ifdef YY_USE_PROTOS
static void yyunput( YY_CHAR c, register YY_CHAR *yy_bp )
#else
static void yyunput( c, yy_bp )
YY_CHAR c;
register YY_CHAR *yy_bp;
#endif

    {
    register YY_CHAR *yy_cp = yy_c_buf_p;

    /* undo effects of setting up yytext */
    *yy_cp = yy_hold_char;

    if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
	{ /* need to shift things up to make room */
	register int number_to_move = yy_n_chars + 2; /* +2 for EOB chars */
	register YY_CHAR *dest =
	    &yy_current_buffer->yy_ch_buf[yy_current_buffer->yy_buf_size + 2];
	register YY_CHAR *source =
	    &yy_current_buffer->yy_ch_buf[number_to_move];

	while ( source > yy_current_buffer->yy_ch_buf )
	    *--dest = *--source;

	yy_cp += dest - source;
	yy_bp += dest - source;
	yy_n_chars = yy_current_buffer->yy_buf_size;

	if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
	    YY_FATAL_ERROR( "flex scanner push-back overflow" );
	}

    if ( yy_cp > yy_bp && yy_cp[-1] == '\n' )
	yy_cp[-2] = '\n';

    *--yy_cp = c;

    /* note: the formal parameter *must* be called "yy_bp" for this
     *       macro to now work correctly
     */
    YY_DO_BEFORE_ACTION; /* set up yytext again */
    }


#ifdef __cplusplus
static int yyinput()
#else
static int input()
#endif

    {
    int c;
    YY_CHAR *yy_cp = yy_c_buf_p;

    *yy_cp = yy_hold_char;

    if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
	{
	/* yy_c_buf_p now points to the character we want to return.
	 * If this occurs *before* the EOB characters, then it's a
	 * valid NUL; if not, then we've hit the end of the buffer.
	 */
	if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
	    /* this was really a NUL */
	    *yy_c_buf_p = '\0';

	else
	    { /* need more input */
	    yytext = yy_c_buf_p;
	    ++yy_c_buf_p;

	    switch ( yy_get_next_buffer() )
		{
		case EOB_ACT_END_OF_FILE:
		    {
		    if ( yywrap() )
			{
			yy_c_buf_p = yytext + YY_MORE_ADJ;
			return ( EOF );
			}

		    YY_NEW_FILE;

#ifdef __cplusplus
		    return ( yyinput() );
#else
		    return ( input() );
#endif
		    }
		    break;

		case EOB_ACT_CONTINUE_SCAN:
		    yy_c_buf_p = yytext + YY_MORE_ADJ;
		    break;

		case EOB_ACT_LAST_MATCH:
#ifdef __cplusplus
		    YY_FATAL_ERROR( "unexpected last match in yyinput()" );
#else
		    YY_FATAL_ERROR( "unexpected last match in input()" );
#endif
		}
	    }
	}

    c = *yy_c_buf_p;
    yy_hold_char = *++yy_c_buf_p;

    return ( c );
    }


#ifdef YY_USE_PROTOS
void yyrestart( FILE *input_file )
#else
void yyrestart( input_file )
FILE *input_file;
#endif

    {
    yy_init_buffer( yy_current_buffer, input_file );
    yy_load_buffer_state();
    }


#ifdef YY_USE_PROTOS
void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
#else
void yy_switch_to_buffer( new_buffer )
YY_BUFFER_STATE new_buffer;
#endif

    {
    if ( yy_current_buffer == new_buffer )
	return;

    if ( yy_current_buffer )
	{
	/* flush out information for old buffer */
	*yy_c_buf_p = yy_hold_char;
	yy_current_buffer->yy_buf_pos = yy_c_buf_p;
	yy_current_buffer->yy_n_chars = yy_n_chars;
	}

    yy_current_buffer = new_buffer;
    yy_load_buffer_state();

    /* we don't actually know whether we did this switch during
     * EOF (yywrap()) processing, but the only time this flag
     * is looked at is after yywrap() is called, so it's safe
     * to go ahead and always set it.
     */
    yy_did_buffer_switch_on_eof = 1;
    }


#ifdef YY_USE_PROTOS
void yy_load_buffer_state( void )
#else
void yy_load_buffer_state()
#endif

    {
    yy_n_chars = yy_current_buffer->yy_n_chars;
    yytext = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
    yyin = yy_current_buffer->yy_input_file;
    yy_hold_char = *yy_c_buf_p;
    }


#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
#else
YY_BUFFER_STATE yy_create_buffer( file, size )
FILE *file;
int size;
#endif

    {
    YY_BUFFER_STATE b;

    b = (YY_BUFFER_STATE) malloc( sizeof( struct yy_buffer_state ) );

    if ( ! b )
	YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );

    b->yy_buf_size = size;

    /* yy_ch_buf has to be 2 characters longer than the size given because
     * we need to put in 2 end-of-buffer characters.
     */
    b->yy_ch_buf = (YY_CHAR *) malloc( (unsigned) (b->yy_buf_size + 2) );

    if ( ! b->yy_ch_buf )
	YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );

    yy_init_buffer( b, file );

    return ( b );
    }


#ifdef YY_USE_PROTOS
void yy_delete_buffer( YY_BUFFER_STATE b )
#else
void yy_delete_buffer( b )
YY_BUFFER_STATE b;
#endif

    {
    if ( b == yy_current_buffer )
	yy_current_buffer = (YY_BUFFER_STATE) 0;

    free( (char *) b->yy_ch_buf );
    free( (char *) b );
    }


#ifdef YY_USE_PROTOS
void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
#else
void yy_init_buffer( b, file )
YY_BUFFER_STATE b;
FILE *file;
#endif

    {
    b->yy_input_file = file;

    /* we put in the '\n' and start reading from [1] so that an
     * initial match-at-newline will be true.
     */

    b->yy_ch_buf[0] = '\n';
    b->yy_n_chars = 1;

    /* we always need two end-of-buffer characters.  The first causes
     * a transition to the end-of-buffer state.  The second causes
     * a jam in that state.
     */
    b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
    b->yy_ch_buf[2] = YY_END_OF_BUFFER_CHAR;

    b->yy_buf_pos = &b->yy_ch_buf[1];

    b->yy_eof_status = EOF_NOT_SEEN;
    }
# line 219 "xxx.l"

/******
** main --
**	Set sbProgName to the base of arg 0.
**	Set the input paths.
**	Check for options
**		-c		echo LaTeX \cite, \ref, and \pageref values
**		-e <env-list>	list of LaTeX environments to ignore
**		-l		force latex mode
**		-n		do not follow \input and \include
**		-s		replace control sequences with space
**		-t		force tex mode
**		-w		word only output
**	Set the list of LaTeX environments to ignore.
**	Process each input file.
**	If no input files are specified on the command line, process stdin.
******/

main(cArgs,rgsbArgs)
int	cArgs;
char	*rgsbArgs[];
{
	char	*pch, *sbEnvList = DEFAULTENV, sbBadOpt[2];
	FILE	*TexOpen();
	int	fSawFile = 0, iArgs = 1;
	
	/* get base name and decide what we are doing, detex or delatex */
#ifdef OS2
	char drive[_MAX_DRIVE], dir[_MAX_DIR];
	char fname[_MAX_FNAME], ext[_MAX_EXT];
#ifdef __EMX__
	_wildcard(&cArgs, &rgsbArgs);
	_response(&cArgs, &rgsbArgs);
#endif
	_splitpath (rgsbArgs[0], drive, dir, fname, ext);
	sbProgName = strlwr(fname);
#else
	if ((sbProgName = rindex(rgsbArgs[0], '/')) != NULL)
	    sbProgName++;
	else
	    sbProgName = rgsbArgs[0];
#endif
	if (strcmp("delatex",sbProgName) == 0)
	    fLatex = 1;
	
	/* set rgsbInputPaths for use with TexOpen() */
	SetInputPaths();

	/* process command line options */
	while (iArgs < cArgs && *(pch = rgsbArgs[iArgs]) == CHOPT) {
		while (*++pch)
		    switch (*pch) {
		    case CHCITEOPT:
			fCite = 1;
			break;
		    case CHENVOPT:
			sbEnvList = rgsbArgs[++iArgs];
			break;
		    case CHLATEXOPT:
			fLatex = 1;
			break;
		    case CHNOFOLLOWOPT:
			fFollow = 0;
			break;
		    case CHSPACEOPT:
			fSpace = 1;
			break;
		    case CHTEXOPT:
			fForcetex = 1;
			break;
		    case CHWORDOPT:
			fWord = 1;
			break;
		    default:
#ifdef OS2
			OS2UsageExit();
#else
			sbBadOpt[0] = *pch;
			sbBadOpt[1] = '\0';
			Warning("unknown option ignored -", sbBadOpt);
#endif
		    }
		iArgs++;
	}
	SetEnvIgnore(sbEnvList);

	/* process input files */
	for (; iArgs < cArgs; iArgs++) {
	    fSawFile++;
	    if ((yyin = TexOpen(rgsbArgs[iArgs])) == NULL) {
		Warning("can't open file", rgsbArgs[iArgs]);
		continue;;
	    }
	    BEGIN SO;
	    (void)yylex();
	}

	/* if there were no input files, assume stdin */
	if (!fSawFile) {
	    yyin = stdin;
#ifdef OS2
	    if (isatty(fileno(stdin)))
		OS2UsageExit();
#endif
	    BEGIN SO;
	    (void)yylex();
	}
#ifndef FLEX_SCANNER
	if (YYSTATE != SO)
	    ErrorExit("input contains an unterminated mode or environment");
#endif
	return(0);
}

#ifdef FLEX_SCANNER
#undef yywrap
#endif

/******
** yywrap -- handles EOF for lex.  Check to see if the stack of open files
**	has anything on it.  If it does, set yyin to the to value.  If not
**	return the termination signal for lex.
******/

yywrap()
{
	(void)fclose(yyin);
	if (cfp > 0) {
	    yyin = rgfp[--cfp];
	    return(0);
	}
	return(1);
}

#ifdef OS2

/******
** yyless -- return characters to the input stream.  Some systems don't have
**	a yyless routine
******/

void yyless(n)
int n;
{
	int 	i = strlen(yytext);

	while (i > n) unput(yytext[--i]);
	yytext[yyleng = n] = '\0';
}
#endif

/******
** SetEnvIgnore -- sets rgsbEnvIgnore to the values indicated by the
**	sbEnvList.
******/

SetEnvIgnore(sbEnvList)
char	*sbEnvList;
{
	char *sb;

	sb = SafeMalloc(strlen(sbEnvList) + 1, "malloc for SetEnvIgnore failed");
	(void) strcpy(sb, sbEnvList);
	csbEnvIgnore = SeparateList(sb, rgsbEnvIgnore, CHENVSEP, MAXENVS);
	if (csbEnvIgnore == ERROR)
	    ErrorExit("The environtment list contains too many environments");
}

/******
** BeginEnv -- checks to see if sbEnv is in the list rgsbEnvIgnore.  If it
**	is, sbCurrentEnv is set to sbEnv.
******/

BeginEnv(sbEnv)
char	*sbEnv;
{
	int	i;

	if (!fLatex) return(0);
	for (i = 0; i < csbEnvIgnore; i++)
	    if (strcmp(sbEnv, rgsbEnvIgnore[i]) == 0) {
		(void)strcpy(sbCurrentEnv, sbEnv);
		return(1);
	    }
	return(0);
}

/******
** EndEnv -- checks to see if sbEnv is the current environment being ignored.
******/

EndEnv(sbEnv)
char	*sbEnv;
{
	if (!fLatex) return(0);
	if (strcmp(sbEnv, sbCurrentEnv) == 0)
	    return(1);
	return(0);
}

/******
** InputFile -- push the current yyin and open sbFile.  If the open fails,
**	the sbFile is ignored.
******/

InputFile(sbFile)
char	*sbFile;
{
	FILE	*TexOpen();

	if (!fFollow)
	    return;
	rgfp[cfp++] = yyin;
	if ((yyin = TexOpen(sbFile)) == NULL) {
	    Warning("can't open \\input file", sbFile);
	    yyin = rgfp[--cfp];
	}
}

/******
** IncludeFile -- if sbFile is not in the rgsbIncList, push current yyin
**	and open sbFile.  If the open fails, the sbFile is ignored.
******/

IncludeFile(sbFile)
char	*sbFile;
{
	FILE	*TexOpen();

	if (!fFollow)
	    return;
	if (!InList(sbFile))
	    return;
	rgfp[cfp++] = yyin;
	if ((yyin = TexOpen(sbFile)) == NULL) {
	    Warning("can't open \\include file", sbFile);
	    yyin = rgfp[--cfp];
	}
}

/******
** AddInclude -- adds sbFile to the rgsbIncList and increments csbIncList.
**	If the include list is too long, sbFile is ignored.
******/

AddInclude(sbFile)
char	*sbFile;
{
	if (!fFollow)
	    return;
	if (csbIncList >= MAXINCLIST)
	    Warning("\\includeonly list is too long, ignoring", sbFile);
	rgsbIncList[csbIncList] = SafeMalloc(strlen(sbFile) + 1, "malloc for AddInclude failed");
	(void)strcpy(rgsbIncList[csbIncList++], sbFile);
}

/******
** InList -- checks to see if sbFile is in the rgsbIncList.  If there is
**	no list, all files are assumed to be "in the list".
******/

InList(sbFile)
char	*sbFile;
{
	char	*pch, sbBase[MAXPATHLEN];
	int	i;

	if (csbIncList == 0)	/* no list */
	    return(1);
	(void)strcpy(sbBase, sbFile);
	if ((pch = rindex(sbBase, '.')) != NULL)
	    *pch = '\0';
	i = 0;
	while ((i < csbIncList) && rgsbIncList[i])
	    if (strcmp(rgsbIncList[i++], sbBase) == 0)
	        return(1);
	return(0);
}

/******
** SetInputPaths -- sets rgsbInputPaths to the values indicated by the
**	TEXINPUTS environment variable if set or else DEFAULTINPUTS.  If
**	the user's TEXINPUTS has a leading ':' prepend the DEFAULTINPUTS
**	to the path, if there is a trailing ':' append the DEFAULTINPUTS.
**	This is consistent with the most recent TeX.  However, this
**	routine does not honor the '//' construct (expand subdirs).
******/

SetInputPaths()
{
	char *sb, *sbPaths, *getenv();
	int cchDefaults, cchPaths;

	cchDefaults = strlen(DEFAULTINPUTS);
#ifdef OS2
	if ((sb = getenv("TEXINPUT")) == NULL)
#endif
	    if ((sb = getenv("TEXINPUTS")) == NULL)
		sb = DEFAULTINPUTS;
	cchPaths = strlen(sb);
	if (sb[0] == CHPATHSEP)
	    cchPaths += cchDefaults;
	if (sb[strlen(sb) - 1] == CHPATHSEP)
	    cchPaths += cchDefaults;
	sbPaths = SafeMalloc(cchPaths + 1, "malloc for SetInputPaths failed");
	sbPaths[0] = '\0';
	if (sb[0] == CHPATHSEP)
	    (void)strcat(sbPaths, DEFAULTINPUTS);
	(void)strcat(sbPaths, sb);
	if (sb[strlen(sb) - 1] == CHPATHSEP)
	    (void)strcat(sbPaths, DEFAULTINPUTS);

	csbInputPaths = SeparateList(sbPaths, rgsbInputPaths, CHPATHSEP, MAXINPUTPATHS);
	if (csbInputPaths == ERROR)
#ifdef OS2
	    ErrorExit("TEXINPUT(S) environment variable has too many paths");
#else
	    ErrorExit("TEXINPUTS environment variable has too many paths");
#endif
}

/******
** SeparateList -- takes a chSep separated list sbList, replaces the
**	chSep's with NULLs and sets rgsbList[i] to the beginning of
**	the ith word in sbList.  The number of words is returned.  A
**	ERROR is returned if there are more than csbMax words.
******/

SeparateList(sbList, rgsbList, chSep, csbMax)
char	*sbList, *rgsbList[], chSep;
int	csbMax;
{
	int	csbList = 0;

	while (sbList && *sbList && csbList < csbMax) {
	    rgsbList[csbList++] = sbList;
	    if (sbList = index(sbList, chSep))
		*sbList++ = '\0';
	}
	return(sbList && *sbList ? ERROR : csbList);
}

/******
** TexOpen -- tries to open sbFile in each of the rgsbInputPaths in turn.
**	For each input path the following order is used:
**		file.tex - must be as named, if not there go to the next path
**		file.ext - random extension, try it
**		file     - base name, add .tex and try it
**		file     - try it as is
**	Notice that if file exists in the first path and file.tex exists in
**	one of the other paths, file in the first path is what is opened.
**	If the sbFile begins with a '/', no paths are searched.
******/

FILE *
TexOpen(sbFile)
char	*sbFile;
{
	char	*pch, *sbNew;
	FILE	*fp;
	int	iPath;
	static char	sbFullPath[MAXPATHLEN];

	for (iPath = 0; iPath < csbInputPaths; iPath++) {
#ifdef OS2
	    if (*sbFile == '/' || *sbFile == '\\' || strchr(sbFile, ':')) {	/* absolute path */
#else
	    if (*sbFile == '/') {	/* absolute path */
#endif
		(void)sprintf(sbFullPath, "%s", sbFile);
		iPath = csbInputPaths;	/* only check once */
	    } else
		(void)sprintf(sbFullPath, "%s/%s", rgsbInputPaths[iPath], sbFile);
#ifdef OS2
	    pch = sbFullPath;
	    while (pch = strchr(pch, '\\'))
		*pch = '/';
#endif

	    /* If sbFile ends in .tex then it must be there */
	    if ((pch = rindex(sbFullPath, '.')) != NULL
			&& (strcmp(pch, ".tex") == 0))
		if ((fp = fopen(sbFullPath, "r")) != NULL)
		    return(fp);
		else
		    continue;

	    /* if .<ext> then try to open it.  the '.' represents   */
	    /* the beginning of an extension if it is not the first */
	    /* character and it does not follow a '.' or a '/'      */
	    if (pch != NULL && pch > &(sbFullPath[0])
                    && *(pch - 1) != '.' && *(pch - 1) != '/'
		    && (fp = fopen(sbFullPath, "r")) != NULL)
		return(fp);

	    /* just base name, add .tex to the name */
	    sbNew = SafeMalloc(strlen(sbFullPath) + 5, "malloc for TexOpen failed");
	    (void)strcpy(sbNew, sbFullPath);
	    (void)strcat(sbNew, ".tex");
	    if ((fp = fopen(sbNew, "r")) != NULL)
		return(fp);

	    /* try sbFile regardless */
	    if ((fp = fopen(sbFullPath, "r")) != NULL)
		return(fp);
	}
	return((FILE *)NULL);
}

/******
** SafeMalloc -- wrapper around malloc() to check for failure.
******/

char *
SafeMalloc(cch, sbMessage)
int cch;
char *sbMessage;
{
	char *sb;

	if ((sb = (char *)malloc((unsigned)cch)) == NULL)
	    ErrorExit(sbMessage);
	return(sb);
}

/******
** Warning -- print a warning message preceded by the program name.
******/

Warning(sb1, sb2)
char	*sb1, *sb2;
{
	(void)fprintf(stderr, "%s: warning: %s %s\n", sbProgName, sb1, sb2);
}

/******
** ErrorExit -- print an error message preceded by the program name.
**	Stdout is flushed and detex exits.
******/

ErrorExit(sb1)
char	*sb1;
{
	(void)fflush(stdout);
	(void)fprintf(stderr, "%s: error: %s\n", sbProgName, sb1);
	exit(1);
}
#ifdef OS2

/******
** OS2UsageExit -- print OS/2 usage message and exit.
******/

OS2UsageExit()
{
	(void)printf("\n%s [ -clnstw ] [ -e environment-list ] [ filename[.tex] ... ]\n",
		sbProgName);
	puts("  -c  echo LaTeX \\cite, \\ref, and \\pageref values\n  \
-e  <env-list> list of LaTeX environments to ignore\n  \
-l  force latex mode\n  \
-n  do not follow \\input and \\include\n  \
-s  replace control sequences with space\n  \
-t  force tex mode\n  \
-w  word only output");
	exit(0);
}
#endif
