Re: Instrumentation in monetdb