diff --git a/Cargo.toml b/Cargo.toml
index 93bc208..171ecf2 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -51,7 +51,7 @@ futures = "0.3.5"
 futures-test = "0.3.5"
 ntest = "0.9"
 proptest = "1"
-proptest-derive = "0.4"
+proptest-derive = "0.5"
 rand = "0.8.5"
 tokio = { version = "1.24.2", default-features = false, features = ["io-util", "macros", "rt-multi-thread", "io-std"] }
 tokio-util = { version = "0.7", default-features = false, features = ["io"] }
diff --git a/src/codec/lzma/decoder.rs b/src/codec/lzma/decoder.rs
index 8e5fae1..2a62b2f 100644
--- a/src/codec/lzma/decoder.rs
+++ b/src/codec/lzma/decoder.rs
@@ -10,7 +10,7 @@ pub struct LzmaDecoder {
 impl LzmaDecoder {
     pub fn new() -> Self {
         Self {
-            inner: crate::codec::Xz2Decoder::new(u64::max_value()),
+            inner: crate::codec::Xz2Decoder::new(u64::MAX),
         }
     }
 
diff --git a/src/codec/xz/decoder.rs b/src/codec/xz/decoder.rs
index 1200e97..69128d4 100644
--- a/src/codec/xz/decoder.rs
+++ b/src/codec/xz/decoder.rs
@@ -11,7 +11,7 @@ pub struct XzDecoder {
 impl XzDecoder {
     pub fn new() -> Self {
         Self {
-            inner: crate::codec::Xz2Decoder::new(u64::max_value()),
+            inner: crate::codec::Xz2Decoder::new(u64::MAX),
             skip_padding: None,
         }
     }
diff --git a/tests/utils/algos.rs b/tests/utils/algos.rs
index f0afc93..b82bdba 100644
--- a/tests/utils/algos.rs
+++ b/tests/utils/algos.rs
@@ -202,7 +202,7 @@ algos! {
 
                 to_vec(XzDecoder::new_stream(
                     bytes,
-                    Stream::new_lzma_decoder(u64::max_value()).unwrap(),
+                    Stream::new_lzma_decoder(u64::MAX).unwrap(),
                 ))
             }
         }
diff --git a/tests/utils/test_cases.rs b/tests/utils/test_cases.rs
index 849c3eb..f32b0a8 100644
--- a/tests/utils/test_cases.rs
+++ b/tests/utils/test_cases.rs
@@ -102,7 +102,7 @@ macro_rules! io_test_cases {
                     fn with_level_max() {
                         let encoder = bufread::Encoder::with_quality(
                             bufread::from(&one_to_six_stream()),
-                            Level::Precise(i32::max_value()),
+                            Level::Precise(i32::MAX),
                         );
                         let compressed = read::to_vec(encoder);
                         let output = sync::decompress(&compressed);
@@ -354,7 +354,7 @@ macro_rules! io_test_cases {
                             |input| {
                                 Box::pin(write::Encoder::with_quality(
                                     input,
-                                    Level::Precise(i32::max_value()),
+                                    Level::Precise(i32::MAX),
                                 ))
                             },
                             65_536,