fn getrandom<'tcx>(
this: &mut MiriEvalContext<'_, 'tcx>,
ptr: &OpTy<'tcx, Provenance>,
len: &OpTy<'tcx, Provenance>,
flags: &OpTy<'tcx, Provenance>,
dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx>
fn getrandom<'tcx>(
this: &mut MiriEvalContext<'_, 'tcx>,
ptr: &OpTy<'tcx, Provenance>,
len: &OpTy<'tcx, Provenance>,
flags: &OpTy<'tcx, Provenance>,
dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx>