[Gretl-devel] identifier name length