Re: [MonetDB-users] [ADT] bug report?