Re: proper extension for interface modules