vm_exec_core     1653 vm.c           	result = vm_exec_core(th, initial);
vm_exec_core      132 vm_exec.c          return (const void **)vm_exec_core(0, 0);