Re: [Monetdb-developers] MAPI cache bug: explained