On 7 July 2013 15:21, Ondřej Bílka wrote: > > discontiguous discontinuous This one is incorrect - the libstdc++ header is talking about contiguous memory, not continuous memory (arguably it should be non-contiguous, but leaving it alone is better than changing it to discontinuous.)