Re: Re: Shadowing in toIface* output