Re: [MonetDB-users] gdk_single_user