diff --git a/libguile/gc_os_dep.c b/libguile/gc_os_dep.c
index d05105a63..ab392729d 100644
--- a/libguile/gc_os_dep.c
+++ b/libguile/gc_os_dep.c
@@ -62,8 +62,11 @@ typedef int GC_bool;
 #   define VOLATILE
 #endif
 
+#if 0 /* currently unused (as of 2001-07-12) */
+
 /* Single argument version, robust against whole program analysis. */
-static void GC_noop1(x)
+static void
+GC_noop1(x)
 word x;
 {
     static VOLATILE word sink;
@@ -71,6 +74,8 @@ word x;
     sink = x;
 }
 
+#endif
+
 /* Machine dependent parameters.  Some tuning parameters can be found	*/
 /* near the top of gc_private.h.					*/