	{ "decl", "yes" },
	{ "decl", "no" },
	{ "decl", "inadmissible" },
	{ "decl", "trust" },
	{ "decl", "skip" },
	{ "decl", "undo" },
	{ "decl", "mode" },
	{ "decl", "browse" },
	{ "decl", "print" },
	{ "decl", "format" },
	{ "decl", "depth" },
	{ "decl", "size" },
	{ "decl", "width" },
	{ "decl", "lines" },
	{ "decl", "actions" },
	{ "decl", "params" },
	{ "decl", "track" },
	{ "decl", "mark" },
	{ "decl", "pd" },
	{ "decl", "quit" },
	{ "decl", "info" },
	{ "decl", "help" },
	{ "queries", "query" },
	{ "queries", "cc_query" },
	{ "queries", "io_query" },
	{ "forward", "step" },
	{ "forward", "goto" },
	{ "forward", "next" },
	{ "forward", "finish" },
	{ "forward", "exception" },
	{ "forward", "return" },
	{ "forward", "user" },
	{ "forward", "forward" },
	{ "forward", "mindepth" },
	{ "forward", "maxdepth" },
	{ "forward", "continue" },
	{ "backward", "retry" },
	{ "backward", "track" },
	{ "browsing", "vars" },
	{ "browsing", "held_vars" },
	{ "browsing", "print" },
	{ "browsing", "browse" },
	{ "browsing", "stack" },
	{ "browsing", "up" },
	{ "browsing", "down" },
	{ "browsing", "level" },
	{ "browsing", "current" },
	{ "browsing", "view" },
	{ "browsing", "hold" },
	{ "browsing", "diff" },
	{ "browsing", "dump" },
	{ "browsing", "open" },
	{ "browsing", "grep" },
	{ "browsing", "list" },
	{ "breakpoint", "break" },
	{ "breakpoint", "condition" },
	{ "breakpoint", "ignore" },
	{ "breakpoint", "break_print" },
	{ "breakpoint", "disable" },
	{ "breakpoint", "enable" },
	{ "breakpoint", "delete" },
	{ "breakpoint", "modules" },
	{ "breakpoint", "procedures" },
	{ "breakpoint", "register" },
	{ "io_tabling", "table_io" },
	{ "parameter", "mmc_options" },
	{ "parameter", "printlevel" },
	{ "parameter", "scroll" },
	{ "parameter", "stack_default_limit" },
	{ "parameter", "goal_paths" },
	{ "parameter", "scope" },
	{ "parameter", "echo" },
	{ "parameter", "context" },
	{ "parameter", "user_event_context" },
	{ "parameter", "list_context_lines" },
	{ "parameter", "list_path" },
	{ "parameter", "push_list_dir" },
	{ "parameter", "pop_list_dir" },
	{ "parameter", "fail_trace_counts" },
	{ "parameter", "pass_trace_counts" },
	{ "parameter", "max_io_actions" },
	{ "parameter", "xml_browser_cmd" },
	{ "parameter", "xml_tmp_filename" },
	{ "parameter", "format" },
	{ "parameter", "format_param" },
	{ "parameter", "alias" },
	{ "parameter", "unalias" },
	{ "help", "document_category" },
	{ "help", "document" },
	{ "help", "help" },
	{ "mdb_dd", "dd" },
	{ "mdb_dd", "trust" },
	{ "mdb_dd", "trusted" },
	{ "mdb_dd", "untrust" },
	{ "misc", "source" },
	{ "misc", "save" },
	{ "misc", "quit" },
	{ "exp", "histogram_all" },
	{ "exp", "histogram_exp" },
	{ "exp", "clear_histogram" },
	{ "exp", "dice" },
	{ "developer", "var_details" },
	{ "developer", "flag" },
	{ "developer", "subgoal" },
	{ "developer", "consumer" },
	{ "developer", "gen_stack" },
	{ "developer", "cut_stack" },
	{ "developer", "pneg_stack" },
	{ "developer", "mm_stacks" },
	{ "developer", "nondet_stack" },
	{ "developer", "stack_regs" },
	{ "developer", "all_regs" },
	{ "developer", "debug_vars" },
	{ "developer", "stats" },
	{ "developer", "print_optionals" },
	{ "developer", "unhide_events" },
	{ "developer", "table" },
	{ "developer", "type_ctor" },
	{ "developer", "all_type_ctors" },
	{ "developer", "class_decl" },
	{ "developer", "all_class_decls" },
	{ "developer", "all_procedures" },
	{ "developer", "ambiguity" },
	{ "developer", "trail_details" },
