diff --git a/cairo1/darwin_arm64/corelib/src/lib.cairo b/cairo1/darwin_arm64/corelib/src/lib.cairo
index 76ca0d430..d5cae1e1b 100644
--- a/cairo1/darwin_arm64/corelib/src/lib.cairo
+++ b/cairo1/darwin_arm64/corelib/src/lib.cairo
@@ -413,3 +413,6 @@ mod test;
 // Modules for testing only.
 mod testing;
 mod starknet_testing;
+
+mod warplib;
+use warplib::warp_add;
diff --git a/cairo1/darwin_arm64/corelib/src/warplib.cairo b/cairo1/darwin_arm64/corelib/src/warplib.cairo
new file mode 100644
index 000000000..e6e6f70a8
--- /dev/null
+++ b/cairo1/darwin_arm64/corelib/src/warplib.cairo
@@ -0,0 +1,2 @@
+mod add;
+use add::warp_add;
diff --git a/cairo1/darwin_arm64/corelib/src/warplib/add.cairo b/cairo1/darwin_arm64/corelib/src/warplib/add.cairo
new file mode 100644
index 000000000..eda5906c8
--- /dev/null
+++ b/cairo1/darwin_arm64/corelib/src/warplib/add.cairo
@@ -0,0 +1,6 @@
+
+use integer::u128_from_felt;
+
+fn warp_add(num: u128, num2: felt) -> u128 {
+    num + u128_from_felt(num2)
+}
diff --git a/cairo1/linux_64/corelib/src/lib.cairo b/cairo1/linux_64/corelib/src/lib.cairo
index 490feb384..77d8e0143 100644
--- a/cairo1/linux_64/corelib/src/lib.cairo
+++ b/cairo1/linux_64/corelib/src/lib.cairo
@@ -410,3 +410,6 @@ use zeroable::Zeroable;
 
 #[cfg(test)]
 mod test;
+
+mod warplib;
+use warplib::warp_add;
diff --git a/cairo1/linux_64/corelib/src/warplib.cairo b/cairo1/linux_64/corelib/src/warplib.cairo
new file mode 100644
index 000000000..e6e6f70a8
--- /dev/null
+++ b/cairo1/linux_64/corelib/src/warplib.cairo
@@ -0,0 +1,2 @@
+mod add;
+use add::warp_add;
diff --git a/cairo1/linux_64/corelib/src/warplib/add.cairo b/cairo1/linux_64/corelib/src/warplib/add.cairo
new file mode 100644
index 000000000..eda5906c8
--- /dev/null
+++ b/cairo1/linux_64/corelib/src/warplib/add.cairo
@@ -0,0 +1,6 @@
+
+use integer::u128_from_felt;
+
+fn warp_add(num: u128, num2: felt) -> u128 {
+    num + u128_from_felt(num2)
+}
diff --git a/test.cairo b/test.cairo
new file mode 100644
index 000000000..077bdaf77
--- /dev/null
+++ b/test.cairo
@@ -0,0 +1,12 @@
+#[contract]
+
+mod co{
+    use integer::u128_to_felt;
+    use warplib::warp_add;
+
+    #[view]
+    fn f(num: u128){
+        let x = warp_add(num, 1);
+    }
+}
+