/*-----------------------------------------------------------------------

  File  : argprint.c

  Author: Stephan Schulz (schulz@eprover.org)

  Contents

  Program that prints the number of command line arguments and the
  argumens.

  Copyright 2019 by the author.

  This code is released under the GNU General Public Licence, version
  2, or, at your choice, any later version. See the file COPYING.

  Created: Tue May  7 11:48:39 CEST 2019

-----------------------------------------------------------------------*/

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

int main(int argc, char *argv[])
{
   int i;
   char** arg;

   printf("argc: %d\n", argc);
   for(i=0; i<argc; i++)
   {
      printf("Argument %d: %s\n", i, argv[i]);
   }

   printf("\nThe same via pointers....\n");
   i=0;
   for(arg=argv; *arg; arg++)
   {
      printf("Argument %d: %s\n", i++,*arg);
   }
   exit(EXIT_SUCCESS);
}

/*---------------------------------------------------------------------*/
/*                        End of File                                  */
/*---------------------------------------------------------------------*/