From 250f714bd03b68b0235fa3a188f2586835ba5959 Mon Sep 17 00:00:00 2001
From: Roman Venediktov <e2e4b6b7@gmail.com>
Date: Sat, 29 Jun 2024 17:14:55 +0200
Subject: [PATCH] Fixed reference to sysargs

---
 src/SM.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/SM.ml b/src/SM.ml
index dedb2a05c..19ac0d6ca 100644
--- a/src/SM.ml
+++ b/src/SM.ml
@@ -1048,7 +1048,7 @@ class env cmd imports =
     method nlocals = scope.nlocals
 
     method get_decls =
-      let opt_label = function true -> label | _ -> fun x -> "global_" ^ x in
+      let opt_label = function true -> label | _ -> fun x -> "_global_" ^ x in
       List.flatten
       @@ List.map (function
            | name, `Extern, f -> [ EXTERN (opt_label f name) ]