Deeper details on Scape Specs and Virtual Machine Construction