/*! \file a01.h
 * \brief an example markup
 * An example marked up header file.  See the doxygen manual for more
 * information on further tags.
 */
#include <stdio.h>
#include <strings.h>
#include <ctype.h>

/*!
 * print concise usage message 
 */
void usage();

#define lp printf(" ( ")
#define rp printf(" ) ")
#define or printf(" or ")

/*! \fn void BNF1(int *digits)
 *  \brief print first BNF description 
 *  \param digits the 7 digits of the user ID
 */
void BNF1(int *digits);


/*!
 * \fn int main(int argc, char **argv);
 * main program
 * verify arguments and call subroutines to print BNF descriptions
 * \param argc number of command line arguments
 * \param argv
 */
int main(int argc, char **argv);