	{ "queries", "query" },
	{ "queries", "cc_query" },
	{ "queries", "io_query" },
	{ "forward", "step" },
	{ "forward", "goto" },
	{ "forward", "next" },
	{ "forward", "finish" },
	{ "forward", "exception" },
	{ "forward", "return" },
	{ "forward", "forward" },
	{ "forward", "mindepth" },
	{ "forward", "maxdepth" },
	{ "forward", "continue" },
	{ "backward", "retry" },
	{ "browsing", "vars" },
	{ "browsing", "print" },
	{ "browsing", "browse" },
	{ "browsing", "stack" },
	{ "browsing", "up" },
	{ "browsing", "down" },
	{ "browsing", "level" },
	{ "browsing", "current" },
	{ "browsing", "set" },
	{ "browsing", "view" },
	{ "breakpoint", "break" },
	{ "breakpoint", "ignore" },
	{ "breakpoint", "disable" },
	{ "breakpoint", "enable" },
	{ "breakpoint", "delete" },
	{ "breakpoint", "modules" },
	{ "breakpoint", "procedures" },
	{ "breakpoint", "register" },
	{ "table_io", "table_io" },
	{ "parameter", "mmc_options" },
	{ "parameter", "printlevel" },
	{ "parameter", "echo" },
	{ "parameter", "scroll" },
	{ "parameter", "context" },
	{ "parameter", "scope" },
	{ "parameter", "alias" },
	{ "parameter", "unalias" },
	{ "help", "document_category" },
	{ "help", "document" },
	{ "help", "help" },
	{ "misc", "source" },
	{ "misc", "save" },
	{ "misc", "dd" },
	{ "misc", "quit" },
	{ "exp", "histogram_all" },
	{ "exp", "histogram_exp" },
	{ "exp", "clear_histogram" },
	{ "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", "proc_stats" },
	{ "developer", "label_stats" },
	{ "developer", "var_name_stats" },
	{ "developer", "print_optionals" },
	{ "developer", "unhide_events" },
	{ "developer", "dd_dd" },
	{ "developer", "table" },
	{ "developer", "type_ctor" },
	{ "developer", "all_type_ctors" },
	{ "developer", "class_decl" },
	{ "developer", "all_class_decls" },
