Re: [MonetDB-users] Segmentation fault