diff --git a/Utils/Util.ml b/Utils/Util.ml
index 03203d7..1d6faff 100644
--- a/Utils/Util.ml
+++ b/Utils/Util.ml
@@ -20,15 +20,15 @@ external popcnt : int64 -> int32 = "popcnt_bytecode" "popcnt"
   [@@unboxed] [@@noalloc]
   (** popcnt instruction *)
 
-let popcnt i = popcnt i |> Int32.to_int 
+let popcnt i = (popcnt [@inlined] ) i |> Int32.to_int 
 
-external trailz : int64 -> int32 = "trailz_bytecode" "trailz"
+external trailz : int64 -> int32 = "trailz_bytecode" "trailz" "int"
   [@@unboxed] [@@noalloc]
   (** ctz instruction *)
 
 let trailz i = trailz i |> Int32.to_int 
 
-external leadz : int64 -> int32 = "leadz_bytecode" "leadz"
+external leadz : int64 -> int32 = "leadz_bytecode" "leadz" "int"
   [@@unboxed] [@@noalloc]
   (** bsf instruction *)