@@ -134,10 +134,11 @@
 #ifdef __cplusplus
 extern "C" {
 #endif
 /*! @file */
 
+#ifndef OF_AMIGAOS
 /*!
  * @brief The standard input as an OFStream.
  */
 extern OFStdIOStream *_Nullable of_stdin;
 
@@ -148,10 +149,18 @@
 
 /*!
  * @brief The standard error as an OFStream.
  */
 extern OFStdIOStream *_Nullable of_stderr;
+#else
+extern OFStdIOStream *_Nonnull *_Nullable of_stdin_ref(void);
+extern OFStdIOStream *_Nonnull *_Nullable of_stdout_ref(void);
+extern OFStdIOStream *_Nonnull *_Nullable of_stderr_ref(void);
+# define of_stdin (*of_stdin_ref())
+# define of_stdout (*of_stdout_ref())
+# define of_stderr (*of_stderr_ref())
+#endif
 
 /*!
  * @brief Logs the specified printf-style format to @ref of_stderr.
  *
  * This prefixes the output with the date, timestamp, process name and PID and