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