void flush();