mon_bin_fetch
ret = mon_bin_fetch(file, rp, mfetch.offvec, mfetch.nfetch);
ret = mon_bin_fetch(file, rp, compat_ptr(mfetch.offvec32),