diff --git a/src/lib/u64.rs b/src/lib/u64.rs
index 8082f7aef0d5..497b60acdbf0 100644
--- a/src/lib/u64.rs
+++ b/src/lib/u64.rs
@@ -1,3 +1,6 @@
+pure fn max_value() -> u64 { ret 18446744073709551615u64; }
+pure fn min_value() -> u64 { ret 0u64; }
+
 fn to_str(n: u64, radix: uint) -> str {
     assert (0u < radix && radix <= 16u);
 
diff --git a/src/lib/u8.rs b/src/lib/u8.rs
index 5dea03b0bdd1..d70cb8a4f831 100644
--- a/src/lib/u8.rs
+++ b/src/lib/u8.rs
@@ -1,4 +1,5 @@
-
+pure fn max_value() -> u8 { ret 255u8; }
+pure fn min_value() -> u8 { ret 0u8; }
 
 pure fn add(x: u8, y: u8) -> u8 { ret x + y; }