def flush() { out.flush() }