memory_exhausted  128 lib-src/make-docfile.c     memory_exhausted ();
memory_exhausted  139 lib-src/make-docfile.c     memory_exhausted ();
memory_exhausted  600 lib-src/make-docfile.c 	    memory_exhausted ();