/* Statistics Counters */ /* XXX this does not belong here */