stdout -> stderr; void READ_STATS -> unsigned long READ_STATS