15 files changed, 29 insertions, 10 deletions

diff --git a/stdlib/array.mli b/stdlib/array.mli
index df5b1c41c..db1f469d0 100644
--- a/stdlib/array.mli
+++ b/stdlib/array.mli
@@ -201,5 +201,7 @@ val fast_sort : ('a -> 'a -> int) -> 'a array -> unit
 (**/**)
 (** {6 Undocumented functions} *)
 
+(* The following is for system use only. Do not call directly. *)
+
 external unsafe_get : 'a array -> int -> 'a = "%array_unsafe_get"
 external unsafe_set : 'a array -> int -> 'a -> unit = "%array_unsafe_set"
diff --git a/stdlib/arrayLabels.mli b/stdlib/arrayLabels.mli
index d4833e026..308bfa4e1 100644
--- a/stdlib/arrayLabels.mli
+++ b/stdlib/arrayLabels.mli
@@ -205,5 +205,7 @@ val fast_sort : cmp:('a -> 'a -> int) -> 'a array -> unit
 
 (** {6 Undocumented functions} *)
 
+(* The following is for system use only. Do not call directly. *)
+
 external unsafe_get : 'a array -> int -> 'a = "%array_unsafe_get"
 external unsafe_set : 'a array -> int -> 'a -> unit = "%array_unsafe_set"
diff --git a/stdlib/camlinternalLazy.mli b/stdlib/camlinternalLazy.mli
index 99de7ed84..eef1c9d6f 100644
--- a/stdlib/camlinternalLazy.mli
+++ b/stdlib/camlinternalLazy.mli
@@ -13,7 +13,9 @@
 
 (* $Id$ *)
 
-(* Internals of forcing lazy values *)
+(** Run-time support for lazy values.
+    All functions in this module are for system use only, not for the
+    casual user. *)
 
 exception Undefined;;
 
diff --git a/stdlib/camlinternalMod.mli b/stdlib/camlinternalMod.mli
index dc8c61ca0..bc59f1956 100644
--- a/stdlib/camlinternalMod.mli
+++ b/stdlib/camlinternalMod.mli
@@ -13,6 +13,10 @@
 
 (* $Id$ *)
 
+(** Run-time support for recursive modules.
+    All functions in this module are for system use only, not for the
+    casual user. *)
+
 type shape =
   | Function
   | Lazy
diff --git a/stdlib/char.mli b/stdlib/char.mli
index 34bd6c23d..05a8156d3 100644
--- a/stdlib/char.mli
+++ b/stdlib/char.mli
@@ -45,4 +45,6 @@ val compare: t -> t -> int
 
 (**/**)
 
+(* The following is for system use only. Do not call directly. *)
+
 external unsafe_chr : int -> char = "%identity"
diff --git a/stdlib/lazy.mli b/stdlib/lazy.mli
index 6134e1e59..9d720d2bb 100644
--- a/stdlib/lazy.mli
+++ b/stdlib/lazy.mli
@@ -42,8 +42,8 @@ type 'a t = 'a lazy_t;;
 
 exception Undefined;;
 
-external force : 'a t -> 'a = "%lazy_force";;
 (* val force : 'a t -> 'a ;; *)
+external force : 'a t -> 'a = "%lazy_force";;
 (** [force x] forces the suspension [x] and returns its result.
    If [x] has already been forced, [Lazy.force x] returns the
    same value again without recomputing it.  If it raised an exception,
diff --git a/stdlib/lexing.mli b/stdlib/lexing.mli
index 2591b5c18..a1a069016 100644
--- a/stdlib/lexing.mli
+++ b/stdlib/lexing.mli
@@ -152,7 +152,7 @@ val flush_input : lexbuf -> unit
 (** {6  } *)
 
 (** The following definitions are used by the generated scanners only.
-   They are not intended to be used by user programs. *)
+   They are not intended to be used directly by user programs. *)
 
 val sub_lexeme : lexbuf -> int -> int -> string
 val sub_lexeme_opt : lexbuf -> int -> int -> string option
diff --git a/stdlib/oo.mli b/stdlib/oo.mli
index 508217228..2a9eb2320 100644
--- a/stdlib/oo.mli
+++ b/stdlib/oo.mli
@@ -30,6 +30,9 @@ external id : < .. > -> int = "%field1"
   *)
 
 (**/**)
+
+(* The following is for system use only. Do not call directly. *)
+
 (** For internal use (CamlIDL) *)
 val new_method : string -> CamlinternalOO.tag
 val public_method_label : string -> CamlinternalOO.tag
diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli
index 0d053b899..f48824599 100644
--- a/stdlib/parsing.mli
+++ b/stdlib/parsing.mli
@@ -74,7 +74,7 @@ val set_trace: bool -> bool
 (** {6  } *)
 
 (** The following definitions are used by the generated parsers only.
-   They are not intended to be used by user programs. *)
+   They are not intended to be used directly by user programs. *)
 
 type parser_env
 
diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli
index fadc33ebf..bf19b2aea 100644
--- a/stdlib/pervasives.mli
+++ b/stdlib/pervasives.mli
@@ -926,8 +926,7 @@ val at_exit : (unit -> unit) -> unit
 
 (**/**)
 
-
-(** {6 For system use only, not for the casual user} *)
+(* The following is for system use only. Do not call directly. *)
 
 val valid_float_lexem : string -> string
 
diff --git a/stdlib/printf.mli b/stdlib/printf.mli
index 942ec49b0..6fcb45eba 100644
--- a/stdlib/printf.mli
+++ b/stdlib/printf.mli
@@ -27,7 +27,7 @@ val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a
 
    Conversion specifications have the following form:
 
-   [% \[flags\] \[width\] \[.precision\] type]
+   [% [flags] [width] [.precision] type]
 
    In short, a conversion specification consists in the [%] character,
    followed by optional modifiers and a type which is made of one or
@@ -159,7 +159,7 @@ val kprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b;;
 
 (**/**)
 
-(* For OCaml system internal use only. Don't call directly. *)
+(* The following is for system use only. Do not call directly. *)
 
 module CamlinternalPr : sig
 
diff --git a/stdlib/random.ml b/stdlib/random.ml
index 44b830150..76d118746 100644
--- a/stdlib/random.ml
+++ b/stdlib/random.ml
@@ -75,8 +75,9 @@ module State = struct
   (* Returns 30 random bits as an integer 0 <= x < 1073741824 *)
   let bits s =
     s.idx <- (s.idx + 1) mod 55;
+    let curval = s.st.(s.idx) in
     let newval = s.st.((s.idx + 24) mod 55)
-                 + (s.st.(s.idx) lxor ((s.st.(s.idx) lsr 25) land 31)) in
+                 + (curval lxor ((curval lsr 25) land 0x1F)) in
     s.st.(s.idx) <- newval;
     newval land 0x3FFFFFFF   (* land is needed for 64-bit arch *)
   ;;
diff --git a/stdlib/stream.mli b/stdlib/stream.mli
index 10cd97620..16e711797 100644
--- a/stdlib/stream.mli
+++ b/stdlib/stream.mli
@@ -85,7 +85,7 @@ val npeek : int -> 'a t -> 'a list
 
 (**/**)
 
-(** {6 For system use only, not for the casual user} *)
+(* The following is for system use only. Do not call directly. *)
 
 val iapp : 'a t -> 'a t -> 'a t
 val icons : 'a -> 'a t -> 'a t
diff --git a/stdlib/string.mli b/stdlib/string.mli
index 7d7635f8b..c248fab18 100644
--- a/stdlib/string.mli
+++ b/stdlib/string.mli
@@ -223,6 +223,8 @@ val compare: t -> t -> int
 
 (**/**)
 
+(* The following is for system use only. Do not call directly. *)
+
 external unsafe_get : string -> int -> char = "%string_unsafe_get"
 external unsafe_set : string -> int -> char -> unit = "%string_unsafe_set"
 external unsafe_blit :
diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli
index f9be415cc..59b0eb7c2 100644
--- a/stdlib/stringLabels.mli
+++ b/stdlib/stringLabels.mli
@@ -175,6 +175,8 @@ val compare: t -> t -> int
 
 (**/**)
 
+(* The following is for system use only. Do not call directly. *)
+
 external unsafe_get : string -> int -> char = "%string_unsafe_get"
 external unsafe_set : string -> int -> char -> unit = "%string_unsafe_set"
 external unsafe_blit :