Re: [MonetDB-users] allocate timing and deallocate timing of memory