We assume Stog was correctly installed (see ) and the stog and stog-ocaml-session executables are in your PATH.
All text is assumed to be UTF-8.