make sure we don't leak buffers (this somewhat underlines the difficulties of this approach)