diff -r b5bb7b3cd597 -r fbdfaacc4182 ucx/compare.c
--- a/ucx/compare.c	Mon Jan 22 17:27:47 2024 +0100
+++ b/ucx/compare.c	Sat Jan 27 17:50:19 2024 +0100
@@ -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;
+    }
+}