[dev] Command line parameters: keep it simple.