diff --git a/doc/simulated/read_file b/doc/simulated/read_file
new file mode 100644
index 0000000000000000000000000000000000000000..84e3d3254dd4a2070f3c4504030c27ae41b66e57
--- /dev/null
+++ b/doc/simulated/read_file
@@ -0,0 +1,18 @@
+NAME
+	read_bytes - read a number of lines into a string from file
+
+SYNTAX
+	#include <stdio.h>
+
+	string read_file(string file, int start, int len);
+
+DESCRIPTION
+	Read 'len' lines from the file 'file' after skipping 'start' lines
+	and return those lines as a string. If start and len are omitted
+	the whole file is read.
+
+KEYWORDS
+	file
+
+SEE ALSO
+	read_bytes, write_file
diff --git a/doc/simulated/stderr b/doc/simulated/stderr
new file mode 100644
index 0000000000000000000000000000000000000000..e78d19f3c8483c9f73b4011176a2751d2374c3f0
--- /dev/null
+++ b/doc/simulated/stderr
@@ -0,0 +1,14 @@
+NAME
+	stderr - Standard error stream
+
+SYNTAX EXAMPLE
+	#include <stdio.h>
+
+	stderr->gets()
+
+DESCRIPTION
+	Stderr is a clone of /precompiled/file connected to the standard
+	error stream.
+
+SEE ALSO
+	/precompiled/file, werror
diff --git a/doc/simulated/stdin b/doc/simulated/stdin
new file mode 100644
index 0000000000000000000000000000000000000000..e56fa039894c5f5b41b9417272af1c79c34e89f6
--- /dev/null
+++ b/doc/simulated/stdin
@@ -0,0 +1,13 @@
+NAME
+	stdin - Standard input
+
+SYNTAX EXAMPLE
+	#include <stdio.h>
+
+	stdin->gets()
+
+DESCRIPTION
+	Stdin is a clone of /precompiled/FILE connected to the standard input.
+
+SEE ALSO
+	/precompiled/FILE
diff --git a/doc/simulated/stdout b/doc/simulated/stdout
new file mode 100644
index 0000000000000000000000000000000000000000..1ced6a61a8e67784e80b2ed93ee29ac75e0da2da
--- /dev/null
+++ b/doc/simulated/stdout
@@ -0,0 +1,13 @@
+NAME
+	stdout - Standard output
+
+SYNTAX EXAMPLE
+	#include <stdio.h>
+
+	stdout->gets()
+
+DESCRIPTION
+	Stdout is a clone of /precompiled/file connected to the standard output.
+
+SEE ALSO
+	/precompiled/file, write