This also seems suspicious. The intrinsics themselves did not change, and this is *target code* which is running this, so there's no need for the `u64` return value. The target can't be running with a struct that's larger than its own address space.