Add exports for justin-vm machine.