The technique is powerful, as it lets abstraction's implementor control how it is compiled. Its chief drawback is that it greatly increases the complexity of implementing an abstraction, and requires a sophisticated implementor. Their optimization replaces structures with scalar variables, based on shallow lexical analysis. It understands pointers and structures rather than dumbing them down. We do not know how it fares with the other benchmarks.
Small objects are a solved problem.
Private communication from Andrew Ayers. Technical Report 94-07b, Rogue Wave Software, Inc.