%{

#include <stdio.h>

#define YYSTYPE double
#include "y.tab.h"

int yylex( void ) {
  return getchar();
}

void yyerror( char const * s ) {
  fprintf( stderr, "%s\n", s );
}

%}

%start list

%%

list: %empty { return 1; };

%%

int main( int argc, char * argv[] ) {
  printf( "%d\t%s\n", argc, argv[0] );
  return 0;
}