Prototype

void flush()