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