db_single_step_cmd
{ "step", db_single_step_cmd, 0, NULL },
{ "s", db_single_step_cmd, 0, NULL },
void db_single_step_cmd(db_expr_t, int, db_expr_t, char *);