mdb_dis_select
(void) mdb_dis_select(kmt_def_dismode());
(void) mdb_dis_select("default");
if (mdb_dis_select(name) == -1) {
extern int mdb_dis_select(const char *);
if (Vflag != NULL && mdb_dis_select(Vflag) == -1)
(void) mdb_dis_select(pt_disasm(&pt->p_file->gf_ehdr));
(void) mdb_dis_select(pt_disasm(NULL));
(void) mdb_dis_select(pt_disasm(NULL));
(void) mdb_dis_select(pt_disasm(&pt->p_file->gf_ehdr));
(void) mdb_dis_select("amd64");
(void) mdb_dis_select("ia32");
(void) mdb_dis_select("ia16");
(void) mdb_dis_select("ia32");
(void) mdb_dis_select("amd64");