Index: src/examples/gc_no_raii/bug-repro/static_const_local.c
===================================================================
--- src/examples/gc_no_raii/bug-repro/static_const_local.c	(revision 1b5c81eda8ac4fbd0dbf2cdca2786bc4e7f9cd93)
+++ src/examples/gc_no_raii/bug-repro/static_const_local.c	(revision 1b5c81eda8ac4fbd0dbf2cdca2786bc4e7f9cd93)
@@ -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;
+}