diff --git a/testcrate/build.rs b/testcrate/build.rs
index 292d36a..1a51054 100644
--- a/testcrate/build.rs
+++ b/testcrate/build.rs
@@ -778,7 +778,7 @@ fn main() {
     
     // count leading zeros
     gen(|a: MyU64| {
-            Some((a as usize).leading_zeros())
+            Some((a.0 as usize).leading_zeros())
         },
         "{
             builtins::int::__clzsi2(a as usize)