[Gretl-devel] "catch" in a user-defined function