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