We will also use the tool that goes with the book

PiVC tool

The instructions work. If you have a Linux like mine, you can also try this:

You should now be able to run the system with pivc/bin/piVC and try out some examples in pivc/examples directory (tested on Java Hotspot