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 7fb92a0bdd3302608869ec4d3ef95c23cd27150e)
@@ -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 7fb92a0bdd3302608869ec4d3ef95c23cd27150e)
@@ -1,5 +1,5 @@
 
 #include <stdbool.h>
-#include <stdlib>
+#include <stdlib.hfa>
 
 trait allocator_c(otype T, otype allocator_t)