
     ddddeeeebbbbuuuuggggmmmmaaaalllllllloooocccc((((3333))))         MMMMuuuuddddOOOOSSSS ((((5555 SSSSeeeepppp 1111999999994444))))          ddddeeeebbbbuuuuggggmmmmaaaalllllllloooocccc((((3333))))

     NNNNAAAAMMMMEEEE
          debugmalloc() - dumps information on malloc'd memory to a
          file.

     SSSSYYYYNNNNOOOOPPPPSSSSIIIISSSS
          void debugmalloc( string filename, int mask );

     DDDDEEEESSSSCCCCRRRRIIIIPPPPTTTTIIIIOOOONNNN
          This efun is only available when DEBUGMALLOC and
          DEBUGMALLOC_EXTENSIONS are both defined in options.h at
          driver build time.  The debugmalloc() efun will dump
          information on those chunks of memory allocated by DMALLOC()
          and related macros if the mask bitwise and'd (&) with the
          tag supplied by the macro (i.e. (mask & tag)) is non-zero.
          Read md.c and config.h in the driver source for more
          information.

     SSSSEEEEEEEE AAAALLLLSSSSOOOO
          set_malloc_mask(3)

     Page 1                                          (printed 3/16/95)

