RE: Monetdb crashes.