Index: src/examples/gc_no_raii/src/gcpointers.c
===================================================================
--- src/examples/gc_no_raii/src/gcpointers.c	(revision eb38dd571a61ec1b36762c6034a049b956966c51)
+++ src/examples/gc_no_raii/src/gcpointers.c	(revision c5833e8112dc702a276c3752677503416c1c0b38)
@@ -1,7 +1,7 @@
 #include "gcpointers.h"
 
-// #include "gc.h"
+#include "gc.h"
 #include "internal/collector.h"
-// #include "internal/object_header.h"
+#include "internal/object_header.h"
 // #include "internal/state.h"
 
Index: src/examples/gc_no_raii/src/vector.h
===================================================================
--- src/examples/gc_no_raii/src/vector.h	(revision eb38dd571a61ec1b36762c6034a049b956966c51)
+++ src/examples/gc_no_raii/src/vector.h	(revision c5833e8112dc702a276c3752677503416c1c0b38)
@@ -9,5 +9,5 @@
 //Declaration
 context allocator_c(type T, type allocator_t) {
-	void reallocate(allocator_t*, size_t);
+	void realloc(allocator_t*, size_t);
 	T* data(allocator_t*);
 };
@@ -37,5 +37,5 @@
 void reserve(vector(T, allocator_t)* this, size_t size)
 {
-	reallocate(&this->storage, this->size+1);
+	realloc(&this->storage, this->size+1);
 }
 
@@ -72,5 +72,5 @@
 void push_back(vector(T, allocator_t)* this, T value)
 {
-	reallocate(&this->storage, this->size+1);
+	realloc(&this->storage, this->size+1);
 	data(&this->storage)[this->size] = value;
 	this->size++;
@@ -104,5 +104,5 @@
 
 forall(type T)
-void reallocate(heap_allocator(T)* this, size_t size)
+void realloc(heap_allocator(T)* this, size_t size)
 {
 	static const size_t GROWTH_RATE = 2;