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