[MonetDB-users] Segmentation fault