Miscellany

struct poptOption {
/*@observer@*/ /*@null@*/ const char * longName; /*!< may be NULL */
    char shortName;                     /*!< may be '\0' */
    int argInfo;
/*@shared@*/ /*@null@*/ void * arg;     /*!< depends on argInfo */
    int val;                    /*!< 0 means don't return, just update flag */
/*@observer@*/ /*@null@*/ const char * descrip; /*!< description for autohelp -- may be NULL */
/*@observer@*/ /*@null@*/ const char * argDescrip; /*!< argument description for autohelp */
};