[jhc] darcs patch: Manually inline an important piece of code. (and 1 more)

Sat Feb 23 02:50:27 CET 2008 Lemmih * Manually inline an important piece of code. Sat Mar 1 07:49:17 CET 2008 Lemmih * Fix a space leak caused by unevaluated stats when verbosity is 0.