/* command-line-args.c -- Behandlung von Kommandozeilenargumenten */

int main(int argc, char **argv)
{
  int i;
  printf("argc = %d\n", argc);
  for (i = 0; i<argc; i++) {
    printf("argv[%d] = \"%s\"\n", i, *(argv + i));
  }
  return 0;
}