How to get the bytcode produced by the compiler?

[ggutierrez]

Suppose I have a simple OZ program like:

declare
proc{CountAndPrint N}
  {Show N}
  if N==0 then skip
  else
    {CountAndPrint N-1}
  end
end

Is there a way to get the bytecode that is executed by the VM for this program?. Currently we are trying to find a solution for a mozart2 bug and we found ourselves in the bytecode execution loop. In order to have a clear understanding of what is going on I would like to get the bytecode of the procedure above.

It will be also very nice if some one can point us to documentation on the VM design.

[sjrd]

In Emacs, menu Oz > Emulator Code > Buffer (or something similar).