use std::vector::assign() in BufferSet::attach_buffers() rather than an explicit...