> If we assume for now that intermodule optimization is not done (and that's > the current situation), For the record, intermodule inlining is considered a critically important optimziation in the Ada world.