mdb_set_options
if (!mdb_set_options(kav->kav_argv[i], TRUE))
if (!mdb_set_options(optarg, TRUE))
(void) mdb_set_options("nomods", TRUE);
(void) mdb_set_options("noctf", TRUE);
if (!mdb_set_options(argv[optind++], FALSE))
(void) mdb_set_options(opt_o, TRUE);
(void) mdb_set_options(opt_plus_o, FALSE);
extern int mdb_set_options(const char *, int);