[MonetDB-users] gdk_single_user