Use Sequence<> instead of vector<> for Commandline code