Back to the old module defititions: statistics and pretty print