void Splitter::pushScratch(const BufferData &data) { data.ignoreDeath(); push(data); data.invalidate(); }
void Splitter::forgetScratch(const BufferData &data) { data.ignoreDeath(); data.invalidate(); }