#include <stdlib.h>
void tst_init_mempool (void) {
   xdata void * p;
   int i;
   init_mempool (&XBYTE [0x2000], 0x1000);
            /* initialize memory pool at xdata 0x2000 for 4096 bytes */
   p = malloc (100);
   for (i = 0; i < 100; i++) ((char *) p)[i] = i;
   free (p);
}