--- a/tools/corrosion/test/cbindgen/rust2cpp/main.cpp	Wed Sep 18 14:10:51 2024 +0200
+++ b/tools/corrosion/test/cbindgen/rust2cpp/main.cpp	Wed Nov 20 21:37:47 2024 +0100
@@ -16,4 +16,7 @@
     add_point(&p1, NULL);
     assert(p1.x == 100);
     assert(p1.y == 100);
+
+    assert(OTHER_MOD_MAGIC_NUMBER == 192312312);
+    assert(FFI_MAGIC_NUMBER == 0xFDA00184);
 }