fn uint_ty_range(uint_ty: UintTy) -> (u128, u128)