val write_state : string -> unit  (** Writes state to file specified by string *)
val read_state : string -> unit   (** Reads state from file specified by string *)

val help_start : bool
val set_help_start : bool -> unit