#define PR_STATS(descr, st) \
INFO5("| %.*s: %g / %g / %g", 39, \
descr " total/avg./stddev. at exit.........................", \
#define PR_STATS(descr, st) \
INFO5("| %.*s: %g / %g / %g", 39, \
descr " total/avg./stddev. at exit.........................", \