Rosette code execution in the VM depends on a Ctxt object to define registers and arguments. Rosette needs to export these as the code is executed and import them before execution.