Re: [Gretl-devel] catch restrict seems not to work