Cmdliner
Declarative definition of command line interfaces.