-/* Learn from "file" the largest line length (pointed to by "linemax_p") and
- * (pointed to by "n_lines_p" if it is not set to NULL) the number of lines.
- */
-extern void textfile_sizes(FILE * file, uint16_t * linemax_p,
- uint16_t * n_lines_p);
-
-
-
-/* Update game log by appending "text", or by appending a "." if "text" is the
- * same as the last one passed.
+/* Return 16-bit number pseudo-randomly generated via Linear Congruential
+ * Generator algorithm with some proven constants. Use instead of rand() to
+ * ensure portability of the same pseudo-randomness across systems.