#include <stdio.h>
#include <alloc.h>

void main (void)
 {
#if defined(__SMALL__)
   unsigned result;
#else
   long result;
#endif

   result = coreleft();

   printf("The amount of available memory is %dKb\n",
     result / 1024);
 }
