[Monetdb-developers] debugging question