public override OutputFile Flush() => DefaultOutput.Flush();
public override void Flush() => DefaultOutput.Flush();