/* A lexical scanner generated by flex */

/* scanner skeleton version:
 * $Header: /usr/fsys/odin/a/vern/flex/RCS/flex.skel,v 2.10 90/03/27 12:03:55 vern Exp $
 */

#define FLEX_SCANNER

#include <stdio.h>


#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

#endif

#ifdef __STDC__
#define YY_USE_PROTOS
#define YY_USE_CONST
#endif

#ifdef __TURBOC__
#define YY_USE_CONST
#endif


#ifndef YY_USE_CONST
#define const
#endif

#ifdef YY_USE_PROTOS
#define YY_PROTO(proto) proto
char *malloc( unsigned size );
int free( char * );
#else
#define YY_PROTO(proto) ()
/* there's no standard place to get 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 */
#define YY_FATAL_ERROR(msg) \
	{ \
	(void) fputs( msg, stderr ); \
	(void) putc( '\n', stderr ); \
	exit( 1 ); \
	}

/* 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 { \
	yy_init_buffer( yy_current_buffer, yyin ); \
	yy_load_buffer_state(); \
	}

/* 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 "c++2latex.l"
#define INITIAL 0
#define STRING 1
#define BCOMMENT 2
#define INCLUDE 3
#define CPLUSPLUS 4
# line 39 "c++2latex.l"
#define KEY	printf ("{\\%s %s}", keyword_font, yytext)
#define CPP	printf ("{\\%s \\%s}", cpp_font, yytext)
#define SYM(x)	printf ("$\\%s$", x)
#define OUT(x)	printf ("%s", x)
#define SUB(x)	substitute(x)
#define IND	indent(yytext)

#include <stdio.h>

#ifdef ANSI_C
  #ifdef C_PLUSPLUS
    #error ANSI_C and C_PLUSPLUS are mutually exclusive
  #else
    int cplusplus_mode = 0;
  #endif
#else /* CPLUSPLUS or default */
  int cplusplus_mode = 1;
#endif

int complete_file = 0;
int header = 0;
int tabtotab = 8;
int piped = 0;
char * font_size = "11";
char * indentation = "0.5em";
char * comment_font = "it";
char * keyword_font = "bf";
char * header_font = "sl";
char * cpp_font = "tt";
char * string_font = "tt";
void substitute(const char *);
void indent(const char *);
void newpage(int);
void usage(const char *);
# line 75 "c++2latex.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) \
	{ \
	/* 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 */ \
	}

#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

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 139
typedef int yy_state_type;
static const short int yy_accept[535] =
    {   0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
      139,  138,  135,  137,  136,   95,  115,  138,   86,   85,
      138,  103,  104,   73,   97,   92,   96,   93,   77,  126,
      126,   90,   94,   78,   91,   79,   89,  109,  109,  105,
      138,  106,   74,  109,  109,  109,  109,  109,  109,  109,
      109,  109,  109,  109,  109,  109,  109,  109,   83,   75,
       84,   72,  134,  121,  119,  118,  121,  120,  114,  112,
      114,  113,   14,   12,   13,   14,   14,  108,   96,   93,
       90,  108,  108,  108,  108,  108,  108,  108,  108,  108,
      108,  108,  108,  108,  108,  108,  108,  108,  108,  108,

      108,  135,  136,   64,    0,    0,    0,    0,    0,   81,
       80,   82,    0,    0,   67,  100,  101,   87,  102,   59,
        0,  122,  110,   98,  123,  126,  126,    0,  126,    0,
       60,   62,   99,   63,   61,  109,  115,    0,  133,   70,
      109,  109,  109,  109,  109,  109,   43,  109,  109,  109,
      109,  109,  109,   44,  109,  109,  109,  109,  109,  109,
      109,  109,  109,  109,  109,   71,   65,  134,  117,  116,
      120,  111,  113,   12,    0,   11,    0,   10,  108,   59,
       88,  107,  108,  108,  108,  108,  108,  108,  108,  108,
       43,  108,  108,  108,  108,  108,  108,  108,   44,  108,

      108,  108,  108,  108,  108,  108,  108,  108,  108,  108,
      108,  108,  108,  108,  108,  108,  108,    0,    0,    0,
        4,    0,    0,  127,    0,  127,    0,    0,   66,    0,
      122,  122,    0,  123,  126,    0,  124,  132,   68,   69,
      109,  109,  109,  109,  109,  109,  109,  109,  109,  109,
      109,   36,  109,   17,  109,  109,  109,  109,  109,  109,
      109,  109,  109,  109,  109,  109,  109,  109,  109,   76,
      108,  108,  108,  108,  108,  108,  108,  108,  108,  108,
      108,  108,  108,   36,  108,  108,  108,   17,  108,   47,
      108,  108,  108,  108,  108,  108,  108,  108,  108,  108,

      108,  108,  108,  108,  108,  108,  108,  108,  108,  108,
      108,    0,    0,    0,    0,    0,    0,    0,    0,  128,
      129,    0,    0,    0,  124,  122,    0,  125,  132,   15,
      109,   23,   27,  109,  109,  109,  109,   20,   24,  109,
      109,   40,   21,  109,  109,  109,  109,  109,  109,  109,
      109,  109,  109,  109,   38,  109,  109,   15,  108,   23,
       27,  108,  108,  108,  108,  108,  108,   20,   24,  108,
      108,  108,   40,  108,   21,  108,  108,  108,  108,  108,
      108,  108,  108,  108,  108,  108,  108,  108,   49,  108,
      108,  108,  108,   38,  108,  108,    0,    7,    8,    0,

        0,    0,    0,    0,    0,  130,    0,   19,   31,  109,
      109,  109,  109,   32,  109,  109,   33,  109,  109,  109,
      109,  109,  109,   30,  109,  109,   46,   19,   51,   31,
      108,  108,  108,  108,  108,   32,  108,  108,  108,  108,
      108,  108,  108,  108,  108,   33,  108,  108,  108,  108,
      108,  108,   30,  108,  108,  108,   46,    0,    9,    5,
        0,    0,    3,  109,  109,   16,   28,  109,   29,   37,
       41,   45,   18,   22,  109,  109,  109,  108,  108,   48,
       16,   28,   56,   57,  108,  108,  108,  108,   52,  108,
       29,   37,   41,   45,   18,   22,  108,  108,  108,  108,

        2,    6,    0,  109,   39,  109,   26,  109,  109,  108,
       39,  108,  108,   54,  108,  108,   26,  108,   55,  108,
        1,   35,   25,   34,   42,   35,   50,   58,  108,   25,
       34,   42,   53,    0
    } ;

static const YY_CHAR yy_ec[128] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
        1,    4,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    5,    6,    7,    8,    9,   10,   11,   12,   13,
       14,   15,   16,   17,   18,   19,   20,   21,   22,   22,
       22,   22,   22,   22,   22,   23,   23,   24,   25,   26,
       27,   28,   29,   30,   31,   31,   31,   31,   32,   33,
       34,   34,   34,   34,   34,   35,   34,   34,   34,   34,
       34,   34,   34,   34,   36,   34,   34,   34,   34,   34,
       37,   38,   39,   40,   34,   30,   41,   42,   43,   44,

       45,   46,   47,   48,   49,   34,   50,   51,   52,   53,
       54,   55,   34,   56,   57,   58,   59,   60,   61,   62,
       63,   64,   65,   66,   67,   68,    1
    } ;

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

static const short int yy_base[548] =
    {   0,
        0,   67,   67,   73,   68,   79,   83,   90,  108,   94,
      972,  973,   96,  973,  968,  943,  973,  129,  942,   62,
      930,  973,  973,  940,   75,  973,   85,   85,   95,  170,
      163,  973,  973,   88,  939,   91,  973,    0,  113,  973,
      962,  973,  937,  904,  906,   82,   79,   84,   94,  907,
       75,  906,  914,  152,  895,  904,  902,  907,  973,  111,
      973,  973,  174,  973,  973,  973,  197,  178,  973,  973,
      934,  185,  973,  192,  973,  946,  924,    0,  189,  204,
      927,  941,  221,   70,   91,  211,  202,  187,  215,  194,
      222,  209,  225,  227,  232,  228,  235,  237,  233,  245,

      203,  256,  973,  973,  262,  904,  221,  244,  895,  973,
      973,  973,  935,  280,  973,  973,  973,  973,  973,  973,
      927,  282,  973,  973,  302,  322,  340,  348,  973,    0,
      918,  973,  973,  973,  917,    0,  973,  905,  973,  973,
      884,  896,  883,  898,  885,  891,  877,  878,  875,  875,
      878,  875,  872,    0,  871,  875,  231,  873,  213,  239,
      877,  870,  259,  230,  875,  973,  973,  307,  973,  973,
      308,  973,  317,  324,  916,  973,  894,  973,    0,  906,
      973,  973,  911,  321,  311,  289,  309,  327,  329,  342,
      330,  323,  331,  340,  343,  322,  346,  351,  910,  356,

      365,  368,  374,  375,  377,  383,  385,  387,  391,  392,
      378,  393,  394,  395,  397,  396,  401,  872,  359,  873,
      368,  873,  871,  973,  902,  901,  401,    0,  973,  438,
      973,  441,  449,  973,  973,  413,  456,  445,  973,  973,
      858,  870,  865,  853,  382,  867,  865,  861,  853,  859,
      862,    0,  848,    0,  854,  851,  840,  842,  844,  851,
      837,  835,  835,  847,  837,  841,  845,  847,  836,  973,
      415,  442,  421,  402,  428,  437,  448,  466,  459,  473,
      475,  479,  481,  877,  484,  482,  488,  876,  491,  875,
      489,  490,  493,  494,  496,  499,  497,  498,  504,  505,

      500,  501,  503,  506,  510,  508,  516,  511,  507,  523,
      517,  834,  836,  836,  831,  834,  834,  826,  831,  973,
      973,  509,  863,  512,  518,  973,  521,  549,  973,    0,
      824,    0,    0,  815,  823,  812,  819,    0,    0,  813,
      810,    0,    0,  810,  810,  807,  819,  809,  813,  818,
      817,  815,  805,  810,    0,  798,  810,  845,  540,  844,
      843,  519,  550,  557,  514,  558,  566,  842,  841,  565,
      568,  569,  840,  570,  839,  571,  573,  572,  574,  576,
      575,  577,  578,  582,  580,  579,  586,  587,  838,  591,
      584,  592,  583,  837,  585,  593,  792,  973,  973,  798,

      797,  797,  782,  794,  827,  973,  826,    0,    0,  784,
      785,  790,  781,    0,  775,  779,    0,  787,  784,  786,
      770,  779,  781,    0,  772,  775,    0,  814,  813,  812,
      588,  589,  600,  601,  594,  811,  605,  606,  590,  596,
      595,  609,  611,  598,  602,  810,  622,  635,  648,  649,
      650,  651,  809,  652,  653,  654,  808,  771,  973,  973,
      769,  770,  973,  754,  754,    0,    0,  766,    0,    0,
        0,    0,    0,    0,  764,  764,  749,  655,  658,  790,
      787,  781,  775,  712,  656,  659,  661,  660,  695,  663,
      693,  692,  690,  688,  686,  684,  665,  664,  662,  666,

      973,  973,  647,  645,    0,  633,    0,  643,  639,  667,
      673,  668,  671,  670,  674,  669,  419,  676,  408,  677,
      973,    0,    0,    0,    0,  406,  267,  236,  679,  172,
      166,   78,   68,  973,  725,  734,  743,  751,  755,  764,
      773,  779,  785,  792,  796,  798,  801
    } ;

static const short int yy_def[548] =
    {   0,
      534,    1,  535,  535,  536,  536,  537,  537,    1,    9,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      538,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  539,  539,  534,
      534,  534,  534,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  539,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  540,  541,  542,  534,  534,
      534,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,

      543,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  544,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  545,
      534,  534,  534,  534,  534,  539,  534,  538,  534,  534,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  540,  534,  541,  534,  542,  534,
      534,  534,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,

      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  546,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  545,  534,  534,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  534,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,

      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  547,  534,  534,  534,  534,  534,  534,  539,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  534,  534,  534,  534,

      534,  534,  534,  534,  534,  534,  534,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  534,  534,  534,
      534,  534,  534,  539,  539,  539,  539,  539,  539,  539,
      539,  539,  539,  539,  539,  539,  539,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,

      534,  534,  534,  539,  539,  539,  539,  539,  539,  543,
      543,  543,  543,  543,  543,  543,  543,  543,  543,  543,
      534,  539,  539,  539,  539,  543,  543,  543,  543,  543,
      543,  543,  543,    0,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534
    } ;

static const short int yy_nxt[1042] =
    {   0,
       12,   13,   14,   15,   13,   16,   17,   18,   12,   19,
       20,   21,   22,   23,   24,   25,   26,   27,   28,   29,
       30,   31,   31,   32,   33,   34,   35,   36,   37,   12,
       38,   38,   38,   38,   39,   38,   40,   41,   42,   43,
       44,   45,   46,   47,   48,   49,   50,   38,   51,   38,
       52,   38,   38,   38,   38,   53,   54,   55,   56,   57,
       58,   38,   38,   38,   59,   60,   61,   62,   63,   65,
       70,   63,  111,   66,   68,   65,  179,   68,  179,   66,
       72,   70,   71,   72,   74,   75,  179,   74,  112,   76,
      116,   74,   75,   71,   74,   63,   76,  102,   63,  179,

      102,  117,  118,  121,   67,  122,  122,  122,   77,  123,
       67,  119,  120,  131,  132,   77,   78,  134,  135,  137,
      154,  124,  143,  146,  138,   79,   80,  155,  184,  144,
      105,   81,  147,  105,  148,  145,  149,  166,   82,   82,
       82,   82,   83,   82,  151,  150,  185,  152,   84,   85,
       86,   87,   88,   89,   90,   82,   91,   82,   92,   82,
       93,   94,   95,   96,   97,   98,   99,  100,  101,   82,
       82,   82,  106,  107,  179,  168,  167,  108,  168,  171,
      179,  125,  171,  127,  127,  127,  173,  109,  125,  173,
      126,  126,  127,  174,  128,  179,  174,  129,  129,  158,

      159,  128,  179,  169,  129,  129,  118,  128,  169,  160,
      179,  179,  161,  129,  128,  119,  180,  179,  181,  179,
      129,  129,  121,  179,  122,  122,  122,  137,  129,  179,
      179,  130,  138,  179,  170,  179,  179,  192,  169,  193,
      179,  179,  169,  179,  179,  179,  190,  198,  194,  169,
      217,  186,  169,  179,  169,  191,  169,  102,  187,  259,
      102,  188,  201,  105,  189,  195,  105,  199,  196,  202,
      197,  219,  207,  220,  200,  179,  260,  256,  267,  261,
      268,  203,  208,  209,  212,  214,  204,  205,  257,  221,
      206,  226,  210,  215,  262,  211,  222,  179,  216,  213,

      227,  227,  122,  122,  122,  106,  107,  265,  168,  171,
      108,  168,  171,  230,  231,  266,  231,  179,  173,  179,
      109,  173,  232,  232,  232,  174,  230,  231,  174,  179,
      179,  179,  231,  233,  234,  179,  234,  179,  179,  179,
      125,  228,  126,  126,  127,  273,  233,  234,  179,  274,
      179,  179,  234,  128,  179,  272,  235,  235,  125,  179,
      127,  127,  127,  236,  179,  236,  128,  275,  237,  237,
      237,  128,  235,  179,  129,  129,  179,  284,  271,  280,
      235,  276,  179,  179,  128,  179,  179,  277,  279,  281,
      129,  179,  278,  179,  285,  179,  283,  282,  129,  179,

      179,  179,  179,  179,  179,  179,  287,  313,  286,  179,
      179,  316,  321,  288,  179,  314,  179,  289,  291,  292,
      317,  322,  322,  179,  295,  293,  303,  179,  290,  179,
      294,  296,  301,  237,  237,  237,  179,  299,  334,  335,
      298,  304,  297,  306,  309,  179,  310,  302,  305,  311,
      179,  307,  308,  324,  300,  324,  179,  361,  325,  325,
      325,  232,  232,  232,  327,  360,  327,  179,  358,  328,
      328,  328,  128,  326,  179,  326,  237,  237,  237,  329,
      329,  179,  359,  179,  362,  128,  326,  179,  365,  179,
      179,  326,  179,  363,  364,  329,  179,  179,  179,  179,

      367,  179,  179,  329,  179,  179,  179,  179,  179,  179,
      366,  179,  179,  179,  179,  179,  179,  368,  179,  179,
      321,  371,  179,  370,  179,  179,  369,  179,  372,  405,
      405,  179,  325,  325,  325,  373,  374,  375,  325,  325,
      325,  328,  328,  328,  376,  377,  380,  381,  179,  385,
      394,  379,  378,  383,  390,  382,  384,  386,  179,  387,
      388,  391,  389,  395,  392,  179,  179,  396,  393,  328,
      328,  328,  432,  179,  179,  429,  179,  179,  179,  179,
      179,  179,  179,  179,  179,  179,  179,  179,  179,  428,
      179,  179,  179,  179,  179,  179,  179,  179,  179,  179,

      179,  179,  179,  179,  179,  431,  179,  430,  179,  179,
      179,  439,  441,  179,  179,  433,  434,  179,  442,  179,
      435,  437,  438,  440,  443,  436,  447,  449,  450,  451,
      179,  444,  445,  448,  452,  446,  453,  457,  454,  479,
      478,  455,  456,  179,  480,  481,  482,  485,  483,  486,
      484,  488,  487,  489,  491,  490,  179,  179,  179,  179,
      179,  179,  179,  179,  179,  492,  179,  179,  179,  179,
      179,  179,  179,  179,  179,  179,  179,  179,  179,  179,
      493,  179,  179,  525,  179,  179,  524,  179,  523,  522,
      494,  521,  179,  499,  179,  497,  179,  496,  179,  513,

      179,  179,  500,  179,  498,  514,  495,  516,  518,  512,
      517,  526,  519,  510,  528,  511,  520,  515,  529,  531,
      179,  532,  533,  527,  530,   64,   64,   64,   64,   64,
       64,   64,   64,   64,   69,   69,   69,   69,   69,   69,
       69,   69,   69,   73,   73,   73,   73,   73,   73,   73,
       73,   73,  113,  113,  113,  113,  113,  113,  113,  113,
      136,  136,  136,  136,  175,  175,  175,  175,  175,  175,
      175,  175,  175,  177,  177,  177,  177,  177,  177,  177,
      177,  177,  179,  179,  179,  179,  179,  179,  183,  179,
      183,  183,  183,  183,  225,  179,  225,  225,  179,  509,

      225,  238,  238,  323,  323,  407,  407,  407,  508,  507,
      506,  505,  504,  503,  502,  501,  179,  179,  179,  179,
      179,  179,  179,  477,  476,  475,  474,  473,  472,  471,
      470,  469,  468,  467,  466,  465,  464,  406,  321,  463,
      462,  461,  460,  459,  458,  179,  179,  179,  179,  179,
      179,  179,  179,  179,  427,  426,  425,  424,  423,  422,
      421,  420,  419,  418,  417,  416,  415,  414,  413,  412,
      411,  410,  409,  408,  406,  404,  403,  402,  401,  400,
      399,  398,  397,  179,  179,  179,  357,  356,  355,  354,
      353,  352,  351,  350,  349,  348,  347,  346,  345,  344,

      343,  342,  341,  340,  339,  338,  337,  336,  333,  332,
      331,  330,  320,  320,  319,  318,  315,  312,  179,  179,
      270,  178,  176,  269,  264,  263,  258,  255,  254,  253,
      252,  251,  250,  249,  248,  247,  246,  245,  244,  243,
      242,  241,  114,  240,  239,  229,  224,  223,  218,  179,
      182,  178,  176,  172,  165,  164,  163,  162,  157,  156,
      153,  142,  141,  140,  139,  133,  115,  114,  110,  104,
      103,  534,   11,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,

      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534
    } ;

static const short int yy_chk[1042] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
        5,    2,   20,    3,    4,    4,  533,    4,   84,    4,
        6,    6,    5,    6,    7,    7,  532,    7,   20,    7,
       25,    8,    8,    6,    8,   10,    8,   13,   10,   85,

       13,   25,   27,   28,    3,   28,   28,   28,    7,   29,
        4,   27,   27,   34,   34,    8,    9,   36,   36,   39,
       51,   29,   46,   47,   39,    9,    9,   51,   84,   46,
       18,    9,   47,   18,   48,   46,   48,   60,    9,    9,
        9,    9,    9,    9,   49,   48,   85,   49,    9,    9,
        9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
        9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
        9,    9,   18,   18,  531,   63,   60,   18,   63,   68,
      530,   31,   68,   31,   31,   31,   72,   18,   30,   72,
       30,   30,   30,   74,   31,   88,   74,   31,   31,   54,

       54,   30,   90,   67,   30,   30,   79,   31,   67,   54,
       87,  101,   54,   31,   30,   79,   79,   92,   80,   86,
       30,   31,   80,   89,   80,   80,   80,   83,   30,   83,
       91,   30,   83,   93,   67,   94,   96,   88,   67,   88,
       95,   99,   67,   97,  528,   98,   87,   90,   88,   67,
      101,   86,   67,  100,   67,   87,   67,  102,   86,  159,
      102,   86,   92,  105,   86,   89,  105,   91,   89,   93,
       89,  107,   96,  107,   91,  527,  159,  157,  164,  160,
      164,   94,   97,   97,   98,   99,   94,   95,  157,  108,
       95,  114,   97,  100,  160,   97,  108,  186,  100,   98,

      114,  114,  122,  122,  122,  105,  105,  163,  168,  171,
      105,  168,  171,  122,  122,  163,  122,  187,  173,  185,
      105,  173,  125,  125,  125,  174,  122,  122,  174,  184,
      196,  192,  122,  125,  125,  188,  125,  189,  191,  193,
      126,  114,  126,  126,  126,  186,  125,  125,  194,  187,
      190,  195,  125,  126,  197,  185,  126,  126,  127,  198,
      127,  127,  127,  128,  200,  128,  126,  188,  128,  128,
      128,  127,  126,  201,  127,  127,  202,  196,  184,  192,
      126,  189,  203,  204,  127,  205,  211,  190,  191,  193,
      127,  206,  190,  207,  197,  208,  195,  194,  127,  209,

      210,  212,  213,  214,  216,  215,  200,  219,  198,  217,
      274,  221,  227,  200,  526,  219,  519,  201,  203,  204,
      221,  227,  227,  271,  206,  205,  211,  517,  202,  273,
      205,  207,  210,  236,  236,  236,  275,  209,  245,  245,
      208,  212,  207,  214,  216,  276,  216,  210,  213,  217,
      272,  214,  215,  230,  209,  230,  277,  274,  230,  230,
      230,  232,  232,  232,  233,  273,  233,  279,  271,  233,
      233,  233,  232,  232,  278,  232,  237,  237,  237,  238,
      238,  280,  272,  281,  275,  232,  232,  282,  277,  283,
      286,  232,  285,  276,  276,  238,  287,  291,  292,  289,

      279,  293,  294,  238,  295,  297,  298,  296,  301,  302,
      278,  303,  299,  300,  304,  309,  306,  280,  305,  308,
      322,  283,  365,  282,  307,  311,  281,  362,  285,  322,
      322,  310,  324,  324,  324,  286,  287,  289,  325,  325,
      325,  327,  327,  327,  291,  292,  295,  296,  359,  300,
      309,  294,  293,  298,  305,  297,  299,  301,  363,  302,
      303,  306,  304,  310,  307,  364,  366,  311,  308,  328,
      328,  328,  365,  370,  367,  362,  371,  372,  374,  376,
      378,  377,  379,  381,  380,  382,  383,  386,  385,  359,
      384,  393,  391,  395,  387,  388,  431,  432,  439,  390,

      392,  396,  435,  441,  440,  364,  444,  363,  433,  434,
      445,  376,  378,  437,  438,  366,  367,  442,  379,  443,
      370,  372,  374,  377,  380,  371,  384,  386,  387,  388,
      447,  381,  382,  385,  390,  383,  391,  396,  392,  432,
      431,  393,  395,  448,  433,  434,  435,  439,  437,  440,
      438,  442,  441,  443,  445,  444,  449,  450,  451,  452,
      454,  455,  456,  478,  485,  447,  479,  486,  488,  487,
      499,  490,  498,  497,  500,  510,  512,  516,  514,  513,
      448,  511,  515,  509,  518,  520,  508,  529,  506,  504,
      449,  503,  496,  455,  495,  452,  494,  451,  493,  486,

      492,  491,  456,  489,  454,  487,  450,  490,  498,  485,
      497,  510,  499,  478,  513,  479,  500,  488,  515,  518,
      484,  520,  529,  512,  516,  535,  535,  535,  535,  535,
      535,  535,  535,  535,  536,  536,  536,  536,  536,  536,
      536,  536,  536,  537,  537,  537,  537,  537,  537,  537,
      537,  537,  538,  538,  538,  538,  538,  538,  538,  538,
      539,  539,  539,  539,  540,  540,  540,  540,  540,  540,
      540,  540,  540,  541,  541,  541,  541,  541,  541,  541,
      541,  541,  542,  483,  542,  542,  542,  542,  543,  482,
      543,  543,  543,  543,  544,  481,  544,  544,  480,  477,

      544,  545,  545,  546,  546,  547,  547,  547,  476,  475,
      468,  465,  464,  462,  461,  458,  457,  453,  446,  436,
      430,  429,  428,  426,  425,  423,  422,  421,  420,  419,
      418,  416,  415,  413,  412,  411,  410,  407,  405,  404,
      403,  402,  401,  400,  397,  394,  389,  375,  373,  369,
      368,  361,  360,  358,  357,  356,  354,  353,  352,  351,
      350,  349,  348,  347,  346,  345,  344,  341,  340,  337,
      336,  335,  334,  331,  323,  319,  318,  317,  316,  315,
      314,  313,  312,  290,  288,  284,  269,  268,  267,  266,
      265,  264,  263,  262,  261,  260,  259,  258,  257,  256,

      255,  253,  251,  250,  249,  248,  247,  246,  244,  243,
      242,  241,  226,  225,  223,  222,  220,  218,  199,  183,
      180,  177,  175,  165,  162,  161,  158,  156,  155,  153,
      152,  151,  150,  149,  148,  147,  146,  145,  144,  143,
      142,  141,  138,  135,  131,  121,  113,  109,  106,   82,
       81,   77,   76,   71,   58,   57,   56,   55,   53,   52,
       50,   45,   44,   43,   41,   35,   24,   21,   19,   16,
       15,   11,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,

      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534,  534,  534,  534,  534,  534,  534,  534,  534,  534,
      534
    } ;

/* 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 */

static yy_state_type yy_last_accepting_state;
static YY_CHAR *yy_last_accepting_cpos;

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 ));

#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 (cplusplus_mode)
	  BEGIN (CPLUSPLUS);



    if ( yy_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;
	if ( yy_bp[-1] == '\n' )
	    ++yy_current_state;
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 >= 535 )
		    yy_c = yy_meta[yy_c];
		}
	    yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
	    ++yy_cp;
	    }
	while ( yy_current_state != 534 );
	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 81 "c++2latex.l"
{ CPP; BEGIN (INCLUDE); }
	YY_BREAK
case 2:
# line 83 "c++2latex.l"
case 3:
# line 84 "c++2latex.l"
case 4:
# line 85 "c++2latex.l"
case 5:
# line 86 "c++2latex.l"
case 6:
# line 87 "c++2latex.l"
case 7:
# line 88 "c++2latex.l"
case 8:
# line 89 "c++2latex.l"
case 9:
# line 89 "c++2latex.l"
CPP;
	YY_BREAK
case 10:
*yy_cp = yy_hold_char; /* undo effects of setting up yytext */
yy_c_buf_p = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
# line 91 "c++2latex.l"
{ OUT ("$<${\\"); OUT (string_font);
			  OUT ("{}"); SUB (yytext+1); OUT ("}$>$");
			  input(); BEGIN (INITIAL); }
	YY_BREAK
case 11:
*yy_cp = yy_hold_char; /* undo effects of setting up yytext */
yy_c_buf_p = yy_cp -= 1;
YY_DO_BEFORE_ACTION; /* set up yytext again */
# line 94 "c++2latex.l"
{ OUT ("\"{\\"); OUT (string_font);
			  OUT ("{}"); SUB (yytext+1); OUT ("}\"");
			  input(); BEGIN (INITIAL); }
	YY_BREAK
case 12:
# line 97 "c++2latex.l"
ECHO;
	YY_BREAK
case 13:
# line 98 "c++2latex.l"
OUT ("\\mbox{}\\\\\n");
	YY_BREAK
case 14:
# line 99 "c++2latex.l"
{ yyless (0); BEGIN (INITIAL); }
	YY_BREAK
case 15:
# line 102 "c++2latex.l"
case 16:
# line 103 "c++2latex.l"
case 17:
# line 104 "c++2latex.l"
case 18:
# line 105 "c++2latex.l"
case 19:
# line 106 "c++2latex.l"
case 20:
# line 107 "c++2latex.l"
case 21:
# line 108 "c++2latex.l"
case 22:
# line 109 "c++2latex.l"
case 23:
# line 110 "c++2latex.l"
case 24:
# line 111 "c++2latex.l"
case 25:
# line 112 "c++2latex.l"
case 26:
# line 113 "c++2latex.l"
case 27:
# line 114 "c++2latex.l"
case 28:
# line 115 "c++2latex.l"
case 29:
# line 116 "c++2latex.l"
case 30:
# line 117 "c++2latex.l"
case 31:
# line 118 "c++2latex.l"
case 32:
# line 119 "c++2latex.l"
case 33:
# line 120 "c++2latex.l"
case 34:
# line 121 "c++2latex.l"
case 35:
# line 122 "c++2latex.l"
case 36:
# line 123 "c++2latex.l"
case 37:
# line 124 "c++2latex.l"
case 38:
# line 125 "c++2latex.l"
case 39:
# line 126 "c++2latex.l"
case 40:
# line 127 "c++2latex.l"
case 41:
# line 128 "c++2latex.l"
case 42:
# line 129 "c++2latex.l"
case 43:
# line 130 "c++2latex.l"
case 44:
# line 131 "c++2latex.l"
case 45:
# line 132 "c++2latex.l"
case 46:
# line 133 "c++2latex.l"
case 47:
# line 134 "c++2latex.l"
case 48:
# line 135 "c++2latex.l"
case 49:
# line 136 "c++2latex.l"
case 50:
# line 137 "c++2latex.l"
case 51:
# line 138 "c++2latex.l"
case 52:
# line 139 "c++2latex.l"
case 53:
# line 140 "c++2latex.l"
case 54:
# line 141 "c++2latex.l"
case 55:
# line 142 "c++2latex.l"
case 56:
# line 143 "c++2latex.l"
case 57:
# line 144 "c++2latex.l"
case 58:
# line 144 "c++2latex.l"
KEY;
	YY_BREAK
case 59:
# line 145 "c++2latex.l"
SYM ("rightarrow");
	YY_BREAK
case 60:
# line 146 "c++2latex.l"
SYM ("ll");
	YY_BREAK
case 61:
# line 147 "c++2latex.l"
SYM ("gg");
	YY_BREAK
case 62:
# line 148 "c++2latex.l"
SYM ("leq");
	YY_BREAK
case 63:
# line 149 "c++2latex.l"
SYM ("geq");
	YY_BREAK
case 64:
# line 150 "c++2latex.l"
SYM ("neq");
	YY_BREAK
case 65:
# line 151 "c++2latex.l"
SYM ("mid\\mid");
	YY_BREAK
case 66:
# line 152 "c++2latex.l"
SYM ("ldots");
	YY_BREAK
case 67:
# line 153 "c++2latex.l"
SYM ("ast=");
	YY_BREAK
case 68:
# line 154 "c++2latex.l"
SYM ("ll=");
	YY_BREAK
case 69:
# line 155 "c++2latex.l"
SYM ("gg=");
	YY_BREAK
case 70:
# line 156 "c++2latex.l"
SYM ("vee=");
	YY_BREAK
case 71:
# line 157 "c++2latex.l"
SYM ("mid=");
	YY_BREAK
case 72:
# line 158 "c++2latex.l"
SYM ("sim");
	YY_BREAK
case 73:
# line 159 "c++2latex.l"
SYM ("ast");
	YY_BREAK
case 74:
# line 160 "c++2latex.l"
SYM ("wedge");
	YY_BREAK
case 75:
# line 161 "c++2latex.l"
SYM ("mid");
	YY_BREAK
case 76:
# line 162 "c++2latex.l"
SYM ("rightarrow\\ast");
	YY_BREAK
case 77:
# line 163 "c++2latex.l"
OUT ("$/$");
	YY_BREAK
case 78:
# line 164 "c++2latex.l"
OUT ("$<$");
	YY_BREAK
case 79:
# line 165 "c++2latex.l"
OUT ("$>$");
	YY_BREAK
case 80:
# line 166 "c++2latex.l"
OUT ("\\&\\&");
	YY_BREAK
case 81:
# line 167 "c++2latex.l"
OUT ("\\%=");
	YY_BREAK
case 82:
# line 168 "c++2latex.l"
OUT ("\\&=");
	YY_BREAK
case 83:
# line 169 "c++2latex.l"
OUT ("\\{");
	YY_BREAK
case 84:
# line 170 "c++2latex.l"
OUT ("\\}");
	YY_BREAK
case 85:
# line 171 "c++2latex.l"
OUT ("\\&");
	YY_BREAK
case 86:
# line 172 "c++2latex.l"
OUT ("\\%");
	YY_BREAK
case 87:
# line 173 "c++2latex.l"
OUT ("-{}-");
	YY_BREAK
case 88:
# line 174 "c++2latex.l"
OUT (".$\\ast$");
	YY_BREAK
case 89:
# line 176 "c++2latex.l"
case 90:
# line 177 "c++2latex.l"
case 91:
# line 178 "c++2latex.l"
case 92:
# line 179 "c++2latex.l"
case 93:
# line 180 "c++2latex.l"
case 94:
# line 181 "c++2latex.l"
case 95:
# line 182 "c++2latex.l"
case 96:
# line 183 "c++2latex.l"
case 97:
# line 184 "c++2latex.l"
case 98:
# line 185 "c++2latex.l"
case 99:
# line 186 "c++2latex.l"
case 100:
# line 187 "c++2latex.l"
case 101:
# line 188 "c++2latex.l"
case 102:
# line 189 "c++2latex.l"
case 103:
# line 190 "c++2latex.l"
case 104:
# line 191 "c++2latex.l"
case 105:
# line 192 "c++2latex.l"
case 106:
# line 193 "c++2latex.l"
case 107:
# line 193 "c++2latex.l"
ECHO;
	YY_BREAK
case 108:
# line 196 "c++2latex.l"
case 109:
# line 196 "c++2latex.l"
SUB (yytext);
	YY_BREAK
case 110:
# line 198 "c++2latex.l"
{ BEGIN (BCOMMENT); OUT ("{$/\\ast$\\");
				  OUT (comment_font); OUT ("{}"); }
	YY_BREAK
case 111:
# line 200 "c++2latex.l"
{ BEGIN (INITIAL); OUT ("$\\ast/$}"); }
	YY_BREAK
case 112:
# line 201 "c++2latex.l"
OUT ("\\mbox{}\\\\\n");
	YY_BREAK
case 113:
# line 202 "c++2latex.l"
IND;
	YY_BREAK
case 114:
# line 203 "c++2latex.l"
SUB (yytext);
	YY_BREAK
case 115:
# line 206 "c++2latex.l"
{ BEGIN (STRING); OUT ("{\\");
				  OUT (string_font); OUT ("\""); }
	YY_BREAK
case 116:
# line 208 "c++2latex.l"
OUT ("$\\backslash\\backslash$");
	YY_BREAK
case 117:
# line 209 "c++2latex.l"
{ OUT ("$\\backslash$"); SUB (yytext+1); }
	YY_BREAK
case 118:
# line 210 "c++2latex.l"
{ BEGIN (INITIAL); OUT ("\"}"); }
	YY_BREAK
case 119:
# line 211 "c++2latex.l"
OUT ("\\mbox{}\\\\\n");
	YY_BREAK
case 120:
# line 212 "c++2latex.l"
IND;
	YY_BREAK
case 121:
# line 213 "c++2latex.l"
SUB (yytext);
	YY_BREAK
case 122:
# line 216 "c++2latex.l"
case 123:
# line 217 "c++2latex.l"
case 124:
# line 218 "c++2latex.l"
case 125:
# line 218 "c++2latex.l"
ECHO;
	YY_BREAK
case 126:
# line 220 "c++2latex.l"
ECHO;
	YY_BREAK
case 127:
# line 222 "c++2latex.l"
SUB (yytext);
	YY_BREAK
case 128:
# line 224 "c++2latex.l"
case 129:
# line 225 "c++2latex.l"
case 130:
# line 225 "c++2latex.l"
ECHO;
	YY_BREAK
case 131:
# line 227 "c++2latex.l"
ECHO;
	YY_BREAK
case 132:
# line 229 "c++2latex.l"
ECHO;
	YY_BREAK
case 133:
# line 231 "c++2latex.l"
OUT ("$\\backslash$\\\\\n");
	YY_BREAK
case 134:
# line 232 "c++2latex.l"
IND;
	YY_BREAK
case 135:
# line 233 "c++2latex.l"
ECHO;
	YY_BREAK
case 136:
# line 234 "c++2latex.l"
OUT ("\\newpage\n");
	YY_BREAK
case 137:
# line 235 "c++2latex.l"
OUT ("\\mbox{}\\\\\n");
	YY_BREAK
case 138:
# line 237 "c++2latex.l"
ECHO;
	YY_BREAK
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(STRING):
case YY_STATE_EOF(BCOMMENT):
case YY_STATE_EOF(INCLUDE):
case YY_STATE_EOF(CPLUSPLUS):
    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:
			{
			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
			    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 == 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;

    register YY_CHAR *yy_bp = yytext;

    yy_current_state = yy_start;
    if ( yy_bp[-1] == '\n' )
	++yy_current_state;

    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 >= 535 )
		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 >= 535 )
	    yy_c = yy_meta[yy_c];
	}
    yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
    yy_is_jam = (yy_current_state == 534);

    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();
    }


#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 237 "c++2latex.l"


void substitute (const char * input)
{
  while (*input)
    {
      switch (*input)
	{
	case '_':
	case '&':
	case '#':
	case '$':
	case '%':
	case '{':
	case '}':
	  printf ("\\%c", *input);
	  break;
	case '+':
	case '=':
	case '<':
	case '>':
	  printf ("$%c$", *input);
	  break;
	case '*':
	  printf ("$\\ast$");
	  break;
	case '|':
	  printf ("$\\mid$");
	  break;
	case '\\':
	  printf ("$\\backslash$");
	  break;
	case '^':
	  printf ("$\\wedge$");
	  break;
	case '~':
	  printf ("$\\sim$");
	  break;
	default:
	  printf ("%c", *input);
	  break;
	}
      input++;
    }
}

void
indent(const char * blanks)
{
  int i;
  
  i = 0;
  while (*blanks)
    {
      if (*blanks == ' ')
	{
	  i++;
	}
      else			/* *blanks == '\t' */
	{
	  while (++i % tabtotab) ;
	}
      blanks++;
    }
  printf ("\\hspace*{%d\\indentation}", i);
}

#include "getopt.h"
#include <string.h>
#include <fcntl.h>
#include <malloc.h>

extern char * version_string;

static struct option opts[] =
{
  {"ansi-c", 0, 0, 'a'},
  {"c-plusplus", 0, 0, 'p'},
  {"complete-file", 0, 0, 'c'},
  {"font-size", 1, 0, 's'},
  {"indentation", 1, 0, 'i'},
  {"header", 0, 0, 'h'},
  {"piped", 0, 0, 't'},
  {"output", 1, 0, 'o'},
  {"tabstop", 1, 0, 'T'},
  {"comment-font", 1, 0, 'C'},
  {"string-font", 1, 0, 'S'},
  {"keyword-font", 1, 0, 'K'},
  {"header-font", 1, 0, 'H'},
  {"cpp-font", 1, 0, 'P'},
  {"version", 0, 0, 'V'},
  {0, 0, 0, 0}
};


main (int argc, char** argv)
{
  int c;
  int index;
  int i;
  int has_filename;
  char * input_name;
  char * output_name;
  char * program_name;

  input_name = "Standard Input";
  output_name = 0;

  program_name = strrchr (argv[0], '/');
  if (program_name == NULL)	/* no pathname */
    {
      program_name = argv[0];
    }
  else
    {
      program_name++;
    }
  
#ifdef USE_NAME 
#if defined(ANSI_C) || defined(C_PLUSPLUS)
#error USE_NAME, ANSI_C and C_PLUSPLUS are mutually exclusive
#else
  /* simple heuristic: '+' in name means C++ */
  cplusplus_mode = (strchr (program_name, '+') != 0);
#endif
#endif
  
  while ((c = getopt_long (argc, argv,
			   "acpo:s:i:thT:C:H:S:K:P:V", opts, &index))
	 != EOF)
    {
      if (c == 0)		/* Long option */
	{
	  c = opts[index].val;
	}
      switch (c)
	{
	case 'a':
	  cplusplus_mode = 0;
	  break;
	case 'p':
	  cplusplus_mode = 1;
	  break;
	case 'c':
	  complete_file = 1;
	  break;
	case 'o':
	  if (piped)
	    {
	      fprintf (stderr,
		       "%s: Can't use {-t,+pipe} and {-o,+output} together\n",
		       program_name);
	      exit(5);
	    }
	  output_name = optarg;
	  break;
	case 's':
	  font_size = optarg;
	  break;
	case 'i':
	  indentation = optarg;
	  break;
	case 'T':
	  tabtotab = atoi(optarg);
	  break;
	    case 't':
	      if (output_name != 0)
	    {
	      fprintf (stderr,
		       "%s: Can't use {-t,+pipe} and {-o,+output} together\n",
		       program_name);
	      exit(5);
	    }
	  piped = 1;
	  break;
	case 'h':
	  header = 1;
	  complete_file = 1;	/* header implies complete-file */
	  break;
	case 'C':
	  comment_font = optarg;
	  break;
	case 'H':
	  header_font = optarg;
	  break;
	case 'P':
	  cpp_font = optarg;
	  break;
	case 'S':
	  string_font = optarg;
	  break;
	case 'K':
	  keyword_font = optarg;
	  break;
	case 'V':
	  fprintf (stderr, "%s\n", version_string);
	  break;
	default:
	  usage(program_name);
	}
    }
  has_filename = (argc - optind == 1);
  if (has_filename)		/* last argument is input file name */
    {
      input_name = argv[optind];
      if (freopen (input_name, "r", stdin) == NULL)
	{
	  fprintf (stderr, "%s: Can't open `%s' for reading\n",
		   program_name, input_name);
	  exit (2);
	}
    }
  if ((output_name == 0) && !piped)
    {
      char * tmp;
      if (has_filename)
	{
	  char * point;
	  
	  point = strrchr (input_name, '/');
	  if (point == 0)	/* plain filename */
	    {
	      point = input_name;
	    }
	  else
	    {
	      point++;
	    }
	  tmp = malloc (strlen (point) + 1);
	  if (tmp == 0)
	    {
	      fprintf (stderr, "%s: Virtual memory exhausted\n", program_name);
	      exit (3);
	    }
	  strcpy (tmp, point);
	  point = strrchr (tmp, '.');
	  if (point != 0)
	    {
	      *point = '\0';
	    }
	}
      else
	{
	  tmp = program_name;
	}
      output_name = malloc (strlen (tmp) + 4);
      if (output_name == 0)
	{
	  fprintf (stderr, "%s: Virtual memory exhausted\n", program_name);
	  exit (3);
	}
      strcpy (output_name, tmp);
      strcat (output_name, ".tex");
    }
  if (!piped)
    {
      if (freopen (output_name, "w", stdout) == NULL)
	{
	  fprintf (stderr, "%s: Can't open `%s' for writing\n",
		   program_name, output_name);
	  exit (4);
	}
    }
  printf ("\
%%\n\
%% This file was automatically produced at " __DATE__ ", " __TIME__" by\n\
%% %s", program_name);
  for (i = 1; i < argc; i++)
    {
      printf(" %s", argv[i]);
    }
  if (!has_filename)
    {
      printf(" (from Standard Input)");
    }
  printf("\n%%\n");
  if (complete_file)
    {
      if (header)
	{
	  if (strcmp (font_size, "10") == 0)
	    {
	      printf ("\\documentstyle[fancyheadings]{article}\n");
	    }
	  else
	    {
	      printf ("\\documentstyle[%spt,fancyheadings]{article}\n",
		      font_size);
	    }
	}
      else
	{
	  if (strcmp (font_size, "10") == 0)
	    {
	      printf ("\\documentstyle{article}\n");
	    }
	  else
	    {
	      printf ("\\documentstyle[%spt]{article}\n", font_size);
	    }
	}
      printf ("\\setlength{\\textwidth}{15cm}\n");
      printf ("\\setlength{\\textheight}{22.5cm}\n");
      printf ("\\setlength{\\hoffset}{-2cm}\n");
      printf ("\\setlength{\\voffset}{-2cm}\n");
      if (header)
	{
	  printf ("\\chead{\\%s Produced from ", header_font);
	  substitute(input_name);
	  printf (" at " __DATE__ ", " __TIME__"}\n");
	  printf ("\\cfoot{\\rm\\thepage}\n");
	  printf ("\\addtolength{\\headheight}{14pt}\n");
	  printf ("\\pagestyle{fancy}\n");
	}
      printf ("\\begin{document}\n");
    }
  printf ("\\expandafter\\ifx\\csname indentation\\endcsname\\relax%\n");
  printf ("\\newlength{\\indentation}\\fi\n");
  printf ("\\setlength{\\indentation}{%s}\n", indentation);
  printf ("\\begin{flushleft}\n");
  yylex();
  printf ("\\end{flushleft}\n");
  if (complete_file)
    {
      printf ("\\end{document}\n");
    }
}

void
usage(const char * name)
{
  fprintf (stderr, "%s\n", version_string);
  fprintf (stderr, "\
Usage: %s [-a] [-c] [-h] [-i length] [-o path] [-p] [-s size] [-t]\n\
       [-C font][-H font] [-K font] [-P font] [-S font] [-T wide] [-V]\n\
       [+ansi-c] [+complete-file] [+header] [+indentation length]\n\
       [+output path] [+c-plusplus] [+font-size size] [+pipe]\n\
       [+comment-font font] [+keyword-font font] [+cpp-font font]\n\
       [+header-font font] [+string-font font] [+tabstop wide]\n\
       [+version] [path]\n", name);
  exit (1);
}