Index: src/examples/gc_no_raii/bug-repro/static_const_local.c
===================================================================
--- src/examples/gc_no_raii/bug-repro/static_const_local.c	(revision 34b76a8f7e7cecb6ec388a5420403fc4bc109211)
+++ src/examples/gc_no_raii/bug-repro/static_const_local.c	(revision 34b76a8f7e7cecb6ec388a5420403fc4bc109211)
@@ -0,0 +1,6 @@
+typedef unsigned long long size_t;
+
+int main(int argc, char const *argv[]) {
+	static const size_t GROWTH_RATE = 2;
+	return 0;
+}