Split off Main.

        Annotate `cmds` to resolve ambiguity.