%{
#include <stdio.h>
%}
%%
[0-9]+ { printf("%s\n", yytext); }
.|\n { /* ignore everything else */ }
%%
int main(int argc, char *argv[])
{
if (argc < 2)
{
printf("Usage: %s <filename>\n", argv[0]);
return 1;
}
FILE *fp = fopen(argv[1], "r");
if (fp == NULL)
{
printf
("Cannot
open file\n"
); return 1;
}
yyin = fp;
yylex();
fclose(fp);
return 0;
}}
JXsKI2luY2x1ZGUgPHN0ZGlvLmg+CiV9CgolJQpbMC05XSsgICAgICB7IHByaW50ZigiJXNcbiIsIHl5dGV4dCk7IH0KLnxcbiAgICAgICAgeyAvKiBpZ25vcmUgZXZlcnl0aGluZyBlbHNlICovIH0KJSUKCmludCBtYWluKGludCBhcmdjLCBjaGFyICphcmd2W10pCnsKICAgIGlmIChhcmdjIDwgMikKICAgIHsKICAgICAgICBwcmludGYoIlVzYWdlOiAlcyA8ZmlsZW5hbWU+XG4iLCBhcmd2WzBdKTsKICAgICAgICByZXR1cm4gMTsKICAgIH0KCiAgICBGSUxFICpmcCA9IGZvcGVuKGFyZ3ZbMV0sICJyIik7CgogICAgaWYgKGZwID09IE5VTEwpCiAgICB7CiAgICAgICAgcHJpbnRmKCJDYW5ub3Qgb3BlbiBmaWxlXG4iKTsKICAgICAgICByZXR1cm4gMTsKICAgIH0KCiAgICB5eWluID0gZnA7CiAgICB5eWxleCgpOwoKICAgIGZjbG9zZShmcCk7CiAgICByZXR1cm4gMDsKfX0=