new constants

Rev: doc/simulated/read_file:1.1
Rev: doc/simulated/stderr:1.1
Rev: doc/simulated/stdin:1.1
Rev: doc/simulated/stdout:1.1

doc/simulated/read_file

+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

doc/simulated/stderr

+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

doc/simulated/stdin

+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

doc/simulated/stdout

+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