sig
  val set_prelude : string -> unit
  val set_filename_prefix : string -> unit
  val set_required_files : string list -> unit
  val set_verbosity : bool -> unit
  val set_t1disasm : string option -> unit
end