From b1cdcd2930cffedcc5a4827a5b79947d62462626 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Sun, 3 Nov 2019 08:35:56 +0100
Subject: [PATCH] gc: flip twice and dump.

---
 src/gc.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/gc.c b/src/gc.c
index 4e680385..b9ae7ce5 100644
--- a/src/gc.c
+++ b/src/gc.c
@@ -749,6 +749,8 @@ gc_ ()
 SCM
 gc ()
 {
+  if (getenv ("MES_DUMP") != 0)
+    gc_dump_arena (g_cells, gc_free ());
   if (g_debug > 5)
     {
       eputs ("symbols: ");
@@ -760,6 +762,9 @@ gc ()
     }
   gc_push_frame ();
   gc_ ();
+#if POINTER_CELLS && !GC_NOFLIP
+  gc_ ();
+#endif
   gc_pop_frame ();
   if (g_debug > 5)
     {
@@ -770,6 +775,8 @@ gc ()
       write_error_ (R0);
       eputs ("\n");
     }
+  if (getenv ("MES_DUMP") != 0)
+    gc_dump_arena (g_cells, gc_free ());
   return cell_unspecified;
 }