pub fn op_ffi_ptr_value(ptr: *mut c_void, out: &mut [u32]) {
  // ...
}