fn int_ty_range(int_ty: IntTy) -> (i128, i128)