public void Dispose() { OvMarshal.ov_clear(vfp); if (handle_ovf.IsAllocated) { handle_ovf.Free(); } }