int yylex() {
  return getchar();
}