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

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