// External Function (prototype)
printf(fmt, args);

main(argc, argv) {
  var i;
  i=1; while (i < argc) {
    printf("%s ", argv[i]);
    i = i + 1;
  }
  printf("\n");
}