#include <stdio.h>
#include <stdlib.h>

typedef char* YYSTYPE ;

YYSTYPE yylval ;

int main() {
   yylval = (char *) malloc(1000) ;

   sprintf(yylval, "Hello world: %d\n", 5) ;
   printf("yylval = %s\n", yylval) ;
}