-memory_full ()
-{
- abort();
-}
-
-char *
-xmalloc (size)
- unsigned size;
-{
- register char *ptr = (char *) malloc (size);
- if (ptr != 0) return (ptr);
- memory_full ();
- /*NOTREACHED*/
- return 0;
-}
-
-
-char *
-xrealloc (old, size)
- char *old;
- unsigned size;
-{
- register char *ptr = (char *) realloc (old, size);
- if (ptr != 0) return (ptr);
- memory_full ();
- /*NOTREACHED*/
- return 0;
-}
-