[Vm-dev] FFI 64-bit updates - progress report