[Gretl-devel] a hsk question