[Gretl-devel] 'seed'