[Vm-dev] Robust FFI with Memory Protection Keys