db_examine_cmd
DB_CMD("examine", db_examine_cmd, CS_SET_DOT),
DB_CMD("x", db_examine_cmd, CS_SET_DOT),
db_cmdfcn_t db_examine_cmd;