[Gretl-devel] the choose() function