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