minitt::read_back
pub fn generate_value<Name: NameTrait>(id: u32) -> Value<Name>
genV in Mini-TT.
genV