runCommand -package:options -package:shake -package:structured-cli -package:io-streams -package:mongoDB package:quickcheck-state-machine