| "console" ->
speclist := Mclu_console.get_arg_speclist ();
subcommand_run := Mclu_console.run
+ | "destroy" ->
+ speclist := Mclu_destroy.get_arg_speclist ();
+ subcommand_run := Mclu_destroy.run
| "list" ->
speclist := Mclu_list.get_arg_speclist ();
subcommand_run := Mclu_list.run