2958   char *filebuf;  in Parse()  local
2981   filebuf = (char *)malloc( filesize+1 );  in Parse()
2982   if( filesize>100000000 || filebuf==0 ){  in Parse()
2984     free(filebuf);  in Parse()
2989   if( fread(filebuf,1,filesize,fp)!=filesize ){  in Parse()
2992     free(filebuf);  in Parse()
2998   filebuf[filesize] = 0;  in Parse()
3001   preprocess_input(filebuf);  in Parse()
3003     printf("%s\n", filebuf);  in Parse()
3009   for(cp=filebuf; (c= *cp)!=0; ){  in Parse()
3104   free(filebuf);                    /* Release the buffer after parsing */  in Parse()