diff --git a/src/arachne.c b/src/arachne.c
index 2f71cd0..e199c48 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -2537,6 +2537,19 @@ iterate_buffer_attacks (void)
     }
 }
 
+//! Helper for the next code.
+int
+realStart (void)
+{
+#ifdef DEBUG
+  if (DEBUGL (5))
+    {
+      printSemiState ();
+    }
+#endif
+  return iterate_buffer_attacks ();
+}
+
 //! Arachne single claim test
 void
 arachneClaimTest (Claimlist cl)
@@ -2573,17 +2586,6 @@ arachneClaimTest (Claimlist cl)
   {
     int newgoals;
 
-    int realStart (void)
-    {
-#ifdef DEBUG
-      if (DEBUGL (5))
-	{
-	  printSemiState ();
-	}
-#endif
-      return iterate_buffer_attacks ();
-    }
-
     proof_suppose_run (run, 0, cl->ev + 1);
     newgoals = add_recv_goals (run, 0, cl->ev + 1);