Re: [Gretl-devel] max identifier length