Index: examples/gc_no_raii/bug-repro/blockers/file_scope.c
===================================================================
--- examples/gc_no_raii/bug-repro/blockers/file_scope.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ examples/gc_no_raii/bug-repro/blockers/file_scope.c	(revision 73abe950d807eab747c9e14353b158fcca827308)
@@ -1,5 +1,5 @@
 
 #include <stdbool.h>
-#include <stdlib>
+#include <stdlib.hfa>
 
 #define POOL_SIZE_EXP 24
Index: examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c
===================================================================
--- examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c	(revision 73abe950d807eab747c9e14353b158fcca827308)
@@ -1,5 +1,5 @@
 
 #include <stdbool.h>
-#include <stdlib>
+#include <stdlib.hfa>
 
 trait allocator_c(otype T, otype allocator_t)