%{
#include <stdio.h>
#include "recdesc.h"
%}


%%

"if"    return IF;
[[:space:]] /* ignore */
.       printf("Skipping unrecognized character %s\n", yytext);
<<EOF>> return EOFL;

%%


int yywrap(void) {
    return 1;
}