runCommand -package:pandoc-plot -is:exact -package:mongoDB -package:shake-plus package:quickcheck-state-machine