Re: [Monetdb-developers] removing a BAT from C for real