\begin{camlexample}{verbatim}
\begin{caml}
\begin{camlinput}
let start = 0
$\ldots$
let mid = succ hidden
$\ldots$

module E = struct end
$\ldots$

let expr = $\ldots$

let pat = match start with
  | $\ldots$ | 1 -> succ expr
  | _ -> succ expr

let case = match start with
  | 0 -> succ pat
  | $\ldots$


let annot: $\ldots$ = succ case

let subexpr = succ annot + ($\ldots$ * 2) - 2

$\ldots$

class c2 = object
  $\ldots$
  val y = 1
  $\ldots$
  method n = 3
  $\ldots$
end

type t = $\ldots$ | B $\ldots$ | F
type arrow = int -> ($\ldots$)
type record = { a:int; $\ldots$ c:int;
                $\ldots$
                g:int }
type polyvar = [`A|$\ldots$ |`C
               |$\ldots$
               | `G ]
type exn += $\ldots$ | B $\ldots$ | F
\end{camlinput}
\end{caml}
\end{camlexample}