[Monetdb-developers] bat.new undefined