+/* A STDIO-like output stream for the TUI. */
+
+class tui_file : public stdio_file
+{
+public:
+ explicit tui_file (FILE *stream);
+
+ void write (const char *buf, long length_buf) override;
+ void puts (const char *) override;
+ void flush () override;
+};
+
+#endif /* TUI_TUI_FILE_H */