sig   val simplification_cli_handler : Arg.spec   val simpl : bool Pervasives.ref   val simpl_fun : bool Pervasives.ref   val simpl_sequence : bool Pervasives.ref   val simpl_inline_calls : bool Pervasives.ref   val simpl_no_summaries : bool Pervasives.ref   module DisassemblyMode :     sig       type t = private Recursive | Linear | Linear_byte_wise | ExtendedLinear       val set : string -> unit       val get : unit -> Disasm_options.DisassemblyMode.t       val set_recursive : unit -> unit       val set_linear : unit -> unit       val set_byte_wise_linear : unit -> unit       val set_extended_linear : unit -> unit       val cli_handler : Arg.spec     end   module DbaOutputFile : Parameters.String   module OpcodeOutputFile : Parameters.OptionalString   module NoLoaderMode : Parameters.Boolean   module IgnoreUnhandledInstructions : Parameters.Boolean   module ProtectedMode : Parameters.Boolean   module ShowInstructionCount : Parameters.Boolean   module Sections : Parameters.StringSet   module ArmDecoder : Parameters.String   val is_ignored_segment : X86Types.segment_reg -> bool   val mark_ignored_segments : string -> unit   val set_file : string -> unit   val get_file : unit -> string   module Logger : Logger.S end