#include <stddef.h>
#include <stdint.h>

#include "push_back.h"

typedef vector(intptr_t*, heap_allocator(intptr_t*)) worklist_t;

void test()
{
	worklist_t w;
	if(!empty(&w))
	{
		intptr_t zero = 0;
		push_back(&w, &zero);
	}
}