/*
   file: test.h

   run this program using the following command line:

            test.exe 4773 "Dr. Joseph Picone"

*/

#include "./test.h"

main(int argc, char** argv) {

  printf("%s:\n\n", PROGRAM_NAME);

  print_course_number(atoi(argv[1]));
  print_instructor_name(argv[2]);

  printf("\nend of %s\n", PROGRAM_NAME);

}