surf_init(&argc, argv); /* Initialize some common structures */
if(argc==1) {
fprintf(stderr,"Usage : %s platform.txt\n",argv[0]);
surf_init(&argc, argv); /* Initialize some common structures */
if(argc==1) {
fprintf(stderr,"Usage : %s platform.txt\n",argv[0]);