/*
 * memory full warning message
 */

#include <stdio.h>

void
memory_full ()
{
  printf ("Memory exhausted.\n");
  exit(1);
}