runCommand -package:options -package:shake -package:mongoDB -package:io-streams -is:exact package:quickcheck-state-machine