Re: [Ciao-users] foreign interface examples