#ifndef PGM_OPTIONS_D #define PGM_OPTIONS_D #include <mkdio.h> void show_flags(int byname, int verbose, mkd_flag_t *flags); #endif/*PGM_OPTIONS_D*/