Thanks Martin, unfortunately it's past the point where I can edit my original comment or I'd go back and fix it. As I recall you said it off-mike in Bill Venners' talk, otherwise I would have fact-checked it!
Anyway, details aside I thought it was a great illustration of the impact on compiler performance that code complexity can have.