runCommand -package:options -package:shake -package:pandoc-plot -package:process -package:graphviz package:quickcheck-state-machine