diff -r 22257f6d06a3 -r bc782cca0759 ucx/compare.c
--- a/ucx/compare.c	Thu May 23 23:19:06 2024 +0200
+++ b/ucx/compare.c	Thu May 23 23:23:36 2024 +0200
@@ -199,3 +199,15 @@
     }
 }
 
+int cx_cmp_ptr(
+        void const *ptr1,
+        void const *ptr2
+) {
+    uintptr_t p1 = (uintptr_t) ptr1;
+    uintptr_t p2 = (uintptr_t) ptr2;
+    if (p1 == p2) {
+        return 0;
+    } else {
+        return p1 < p2 ? -1 : 1;
+    }
+}