Re: [Monetdb-developers] bat.new undefined