/*
 * Discovering how to access command-line arguments
 *
 * Modify this program to work through the self-guided discovery question prompts.
 */
 
#include <stdio.h>

int main(int argc, char *argv[]){
  printf("argc is %d\n", argc);
	
	return 0;
}