Re: [Monetdb-developers] autogen.py