use std::iter;
use rand::RngExt;
use rand::seq::IteratorRandom;
use rustc_abi::Size;
use rustc_apfloat::Float;
use rustc_apfloat::FloatConvert;
use rustc_middle::mir;
use crate::*;