flush

void flush();