Re: [Vm-dev] 64bit FFI?