diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index c52ad6b39..176eac2f6 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -1423,7 +1423,12 @@ let translate ~models ~fuzzer ~internalize : string list -> Llair.t =
   let x = {llcontext; llmodule; lldatalayout} in
   let globals =
     Llvm.fold_left_globals
-      (fun globals llg -> xlate_global x llg :: globals)
+      (fun globals llg ->
+        if
+          Poly.equal (Llvm.linkage llg) Appending
+          && Llvm.(array_length (element_type (type_of llg))) = 0
+        then globals
+        else xlate_global x llg :: globals )
       [] llmodule
   in
   let functions =