external current_vm : unit -> obj = "current_vm"