WIP: test with patched stdarch

RalfJung · RalfJung · commit ceef31ccc3ee · 2025-05-20T08:40:58.000+02:00
diff --git a/library/stdarch b/library/stdarch
@@ -1 +1 @@
-Subproject commit 1dfaa4db2479753a46a3e90f2c3c89d89d0b21f1
+Subproject commit b58d7d0e5a87e5d60d13c6ac6b840a82fce18a90
