See y86-code.lsp for example uses of this Y86 model.
