// Date: Mon Oct 22 00:07:00 CDT 2007

#include <stdio.h>

int main(int argc, char **argv)
{
    extern FILE *yyin;

    if (argc > 1)
        yyin = fopen(argv[1], "r");
    else
        yyin = stdin;

    yylex();
}

// EOF