pub fn spec_chained_value<IntegerType>(_a: IntegerType) -> SpecChain
where IntegerType: Integer,