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