#include "config.h"
-#define SATCHECK_CONFIG
-
/*
void * ourmalloc(size_t size);
void ourfree(void *ptr);
void * ourrealloc(void *ptr, size_t size);
*/
-#if 1
+#if 0
void *model_malloc(size_t size);
void model_free(void *ptr);
void *model_calloc(size_t count, size_t size);