Turning our analysis loose on C++ demonstrates that it can, at least, discover inlining opportunities in the sort of places that C++ programmers specify them, and provides a basis for comparison in standard C++ compilers such as G++. However, the greater opportunity for automatic inline allocation is languages with a more abstract object model that do not allow its explicit specification. These languages also pose the greater challenge by promoting a more polymorphic and dynamic kind of program. But our optimization's handling of polymorphic containers and cons cells suggest such dynamic codes will be doable. We intend to apply our optimization to such languages, Java in particular.