Re: [Monetdb-developers] regarding debug output in query execution