cmd_sizeof_tab
cmd_sizeof_tab },
extern int cmd_sizeof_tab(mdb_tab_cookie_t *, uint_t, int, const mdb_arg_t *);