/* Copyright 1995 J"orn Rennecke */

#include "alloc.h"

p_int adtstat[ADTSTAT_SIZE];
double xadtstat[ADTSTAT_SIZE];

#define LOWER 0xffffff

void statistics() {
    int i;

    i = ADTSTAT_SIZE - 1;
    do {
	xadtstat[i] += adtstat[i] & ~LOWER;
	adtstat[i] &= LOWER;
    } while (--i);
}