#include "Dist.h"

global int dbn_write = 0;	/* write counter */
global int dbn_read = 0;	/* read counter */

global DFILE* D_filelist = 0;	/* open-file list */
global int    D_openmax = 0;	/* length of open-file list */
global DFILE* D_files = 0;		/* start  of open-file list */
global DFILE* D_filez = 0;		/* end    of open-file list */