_DIAGASSERT        70 extra/getopt.c 	_DIAGASSERT(nargv0 != NULL);
_DIAGASSERT        96 extra/getopt.c 	_DIAGASSERT(nargv != NULL);
_DIAGASSERT        97 extra/getopt.c 	_DIAGASSERT(ostr != NULL);
_DIAGASSERT        57 extra/getopt_long.c 	_DIAGASSERT(nargv0 != NULL);
_DIAGASSERT        81 extra/getopt_long.c 	_DIAGASSERT(nargv != NULL);
_DIAGASSERT        82 extra/getopt_long.c 	_DIAGASSERT(ostr != NULL);
_DIAGASSERT       160 extra/getopt_long.c 	_DIAGASSERT(nargv != NULL);
_DIAGASSERT       161 extra/getopt_long.c 	_DIAGASSERT(options != NULL);
_DIAGASSERT       162 extra/getopt_long.c 	_DIAGASSERT(long_options != NULL);