2 files changed, 9 insertions, 0 deletions
diff --git a/lib/sail.c b/lib/sail.c
index fc11a40d..6ea41fcc 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -693,6 +693,12 @@ void sail_signed(sail_int *rop, const sail_bits op)
   }
 }
 
+inline
+mach_int fast_unsigned(const mach_bits op)
+{
+  return (mach_int) op;
+}
+
 void append(sail_bits *rop, const sail_bits op1, const sail_bits op2)
 {
   rop->len = op1.len + op2.len;
diff --git a/lib/sail.h b/lib/sail.h
index b3386198..6b67b7e0 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -196,6 +196,7 @@ void RECREATE_OF(sail_bits, mach_bits)(sail_bits *,
 mach_bits CREATE_OF(mach_bits, sail_bits)(const sail_bits);
 
 mach_bits CONVERT_OF(mach_bits, sail_bits)(const sail_bits, const bool);
+
 void CONVERT_OF(sail_bits, mach_bits)(sail_bits *, const mach_bits, const uint64_t, const bool);
 
 void UNDEFINED(sail_bits)(sail_bits *, const sail_int len, const mach_bits bit);
@@ -249,6 +250,8 @@ mach_bits bitvector_access(const sail_bits op, const sail_int n_mpz);
 void sail_unsigned(sail_int *rop, const sail_bits op);
 void sail_signed(sail_int *rop, const sail_bits op);
 
+mach_int fast_unsigned(const mach_bits);
+
 void append(sail_bits *rop, const sail_bits op1, const sail_bits op2);
 
 void replicate_bits(sail_bits *rop, const sail_bits op1, const sail_int op2);