From eb8e9374f29f67e33e24f46141b5c2ba58395069 Mon Sep 17 00:00:00 2001
From: Egor Sheremetov <egor.sheremetov@yandex.ru>
Date: Tue, 28 May 2024 14:31:26 +0200
Subject: [PATCH] Added fix for unknown __gc_init symbol

---
 src/X86.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/X86.ml b/src/X86.ml
index ecb324d5c..2dbda911f 100644
--- a/src/X86.ml
+++ b/src/X86.ml
@@ -802,10 +802,10 @@ let compile cmd env imports code =
                          (* Initialize gc and arguments *)
                          Push (R Registers.rdi);
                          Push (R Registers.rsi);
-                         Call "__gc_init";
+                         Call "___gc_init";
                          Pop (R Registers.rsi);
                          Pop (R Registers.rdi);
-                         Call "set_args";
+                         Call "_set_args";
                        ]
                      else [])
                   @