more on stub generation