obsolete, should use https://github.com/GaloisInc/camkes-vm "rust" branch - View it on GitHub