Re: [Monetdb-developers] [Monetdb-checkins] MonetDB/src/common monet_utils.mx, 1.32, 1.33 stream.mx, 1.144, 1.145