// ----------------------------------------------------------------------
 //
 // File: memory.h
 //
 // This module implements certain dynamic memory allocation/deallocation
 // functions that are needed in this example (these are stubbed...)
 //
 // Last edited: 3.2.2003
 //
 // ----------------------------------------------------------------------
 
 #include <stdlib.h>
 
 void* List_malloc(size_t size);
 void* List_realloc(void* p, size_t size);
 void  List_free(void* p);