ELF>8@@65                                                                                                                                                                                                                                                                                                                                                                                     k$@ ?  compilerThe -vmthread argument of ocamlc is no longer supported since OCaml 4.09.0. Please switch to system threads, which have the same API. Lightweight threads with VM-level scheduling are provided by third-party libraries such as Lwt, but with a different API.documentation generatornative-code compiler+Profiling with "gprof" (option `-p') is only supported up to OCaml 4.08.0-ffunction-sections   The OCaml toplevel, version Please specify at most one -stop-after . [oSyntax: -inline-toplevel | =[,...]Syntax: -inline-prim-cost | =[,...]Syntax: -inline-max-unroll | =[,...]Syntax: -inline-max-depth | =[,...]Syntax: -inline-lifting-benefit | =[,...]Syntax: -inline-indirect-cost | =[,...]Syntax: -inline-call-cost | =[,...]Syntax: -inline-branch-factor | =[,...]Syntax: -inline-branch-cost | =[,...]Syntax: -inline-alloc-cost | =[,...]Syntax: -inline | =[,...]' Treat as a file name (even if it starts with `-')-7Configure percentage of branches instrumented (advanced, see afl-fuzz docs for AFL_INST_RATIO) -afl-inst-ratioEnable instrumentation for afl-fuzz -afl-instrument/ Read additional null character terminated command line arguments from -args0/ Read additional newline-terminated command line arguments from -args Accept invalid formats accepted by legacy implementations (Warning: Invalid formats may behave differently from previous OCaml versions, and will become always-rejected in future OCaml versions. You should never use this flag and instead fix invalid formats.)-no-strict-formats Reject invalid formats accepted by legacy implementations (default) (Warning: Invalid formats may behave differently from previous OCaml versions, and will become always-rejected in future OCaml versions. You should always use this flag to detect invalid formats so you can fix them.) -strict-formats? Does not generate cross-module optimization information (reduces necessary recompilation on module change)-opaque -dstartup -dinterval -dlinear -dscheduling -dreload-dalloc -dprefer -dinterf-dsplit-dspill-dlive-dcse -dcombine-dsel-dcmm Extra sanity checks on Cmm-dcmm-invariants -dcamlprimc-dinstr Print Flambda terms including around each pass-dflambda-verbose Print when the given Flambda [Let] is created -dflambda-let Do not Check Flambda invariants around each pass-dflambda-no-invariants Check Flambda invariants around each pass-dflambda-invariants Print Flambda terms after closure conversion -drawflambda Print Flambda terms -dflambda (undocumented) -dclambda -drawclambda -dlambda -dsource -dlocations -dno-locations -dunique-ids -dno-unique-ids -drawlambda-dshape -dtypedtree -dparsetree# dump output like -dlambda into /.dump -dump-dir dump output like -dlambda into .dump -dump-into-file (undocumented) -use-prims  (advanced, see manual section %d.%d.)  ] .) (advanced, see manual section -match-context-rows -nopervasives Print location of standard library and exit-where Control the way error messages and warnings are printed The following settings are supported: short only print the error and its location contextual like "short", but also display the source code snippet corresponding to the location of the error The default setting is 'contextual'. If the option is not specified, these setting can alternatively be set through the OCAML_ERROR_STYLE environment variable.  short contextual -error-style  Enable or disable colors in compiler messages The following settings are supported: auto use heuristics to enable colors only if supported always enable colors never disable colors The default setting is 'auto', and the current heuristic checks that the TERM environment variable exists and is not empty or "dumb", and that isatty(stderr) holds. If the option is not specified, these setting can alternatively be set through the OCAML_COLOR environment variable.  neveralwaysauto-color Show description of warning numbers -warn-help O Enable or disable error status for warnings according to . See option -w for the syntax of . Default setting is %S K Enable or disable error status for warnings according to . See option -w for the syntax of . Default setting is -warn-error Enable or disable warnings according to : + enable warnings in - disable warnings in @ enable warnings in and treat them as errors can be: a single warning number .. a range of consecutive warning numbers a predefined set default setting is %S   spec> enable warnings in and treat them as errors can be: a single warning number .. a range of consecutive warning numbers a predefined set default setting is yS Enable or disable warnings according to : + enable warnings in - disable warnings in -w Print version number and exit-vnum (no longer supported) -vmthread Do not print version at startup -no-version Print version and exit --version -version Print calls to external commands -verbose' Print compiler version and location of standard library and exit-v (deprecated) same as -use-runtime -use_runtime Generate bytecode for the given runtime system -use-runtime -unsafe-string-unsafe-string is not available since OCaml 5.0# Do not compile bounds checking on array and string access-unsafe# unannotated unboxable types will not be unboxed (default)-no-unboxed-types unannotated unboxable types will be unboxed -unboxed-types K 0> Scale the size threshold above which unbox-closures will slow down indirect calls rather than duplicating a function (default %d) G 0> Scale the size threshold above which unbox-closures will slow down indirect calls rather than duplicating a function (default -unbox-closures-factor' Pass free variables via specialised arguments rather than closures -unbox-closures -dprofile Print timings information for each pass -dtimings (deprecated) same as -I +threads-thread Left-hand part of a sequence must have type unit-strict-sequence# Left-hand part of a sequence need not have type unit (default)-no-strict-sequence Read script from standard input-stdin Shorten paths in types -short-paths Produce a dynlinkable plugin-shared# Do not use type information to optimize pattern-matching -safer-matching (default unconditionally since 5.0) -safe-string Keep intermediate assembly file-S#Do not include the runtime system in the generated program.-without-runtime#Include the runtime system in the generated program (default) -with-runtime Use the variant of the run-time system-runtime-variant Remove unused function arguments-remove-unused-arguments Do not allow arbitrary recursive types (default) -no-rectypes Allow arbitrary recursive types -rectypes Do not check principality of type inference (default) -no-principal Check principality of type inference -principal (no longer supported)-plugin' Pipe abstract syntax trees through preprocessor -ppx Pipe sources through preprocessor -pp Package the given .cmx files into one .cmx Package the given .cmo files into one .cmo-pack (no longer supported)-p' Output a self-contained executable, including runtime and C stubs-output-complete-exe' Output an object file, including runtime, instead of an executable-output-complete-obj Output an object file instead of an executable -output-obj Opens the module before typing-open Set output file name to -o' Do not unbox arguments to which functions have been specialised-no-unbox-specialised-args' Do not unbox variables that will appear inside function closures-no-unbox-free-vars-of-closures# Do not implicitly add the current directory to the load path-nocwd' Do not add default directory to the list of include directories -nostdlib# Suppress prompts for continuation lines of multi-line inputs -nopromptcont Suppress all prompts -noprompt Output prompts (default)-prompt Ignore non-optional labels in types -nolabels Do not load any init file-noinit# Enable optimizations for code that will not be dynlinked -nodynlink# Do not automatically link C libraries specified in .cmxa files# Do not automatically link C libraries specified in .cma files -noautolink Do not compile assertion checks -noassert# Deactivate constant propagation for floating-point operations-no-float-const-prop Do not check runtime for primitives -no-check-prims Deactivate applicative functors -no-app-funct Activate applicative functors -app-funct Do not record dependencies for module aliases -no-alias-deps Do record dependencies for module aliases -alias-deps (deprecated) same as -labels-modern ;|=[,...] Maximum depth of search for inlining opportunities inside inlined functions (default %d) ;|=[,...] Maximum depth of search for inlining opportunities inside inlined functions (default -inline-max-depth (deprecated) same as -make-runtime -make_runtime# Build a runtime system with given C objects and libraries -make-runtime Use the linear scan register allocator -linscan Link all modules, even unused ones -linkall Use commuting label mode-labels Do not keep locations in .cmi files -no-keep-locs Keep locations in .cmi files (default) -keep-locs# Do not keep documentation strings in .cmi files (default) -no-keep-docs Keep documentation strings in .cmi files -keep-docs  Do not run the instruction scheduling pass%s  Do not run the instruction scheduling pass -no-insn-sched (default)  Run the instruction scheduling pass%s   Run the instruction scheduling pass -insn-sched (deprecated) same as -intf-suffix -intf_suffix Suffix for interface files (default: .mli) -intf-suffix Compile as a .mli file-intf ?|=[,...] Estimate the probability of a branch being cold as 1/(1+n) (used for inlining) (default %.2f)  S ;|=[,...] Estimate the probability of a branch being cold as 1/(1+n) (used for inlining) (default -inline-branch-factor G|=[,...] The benefit of lifting definitions to toplevel during inlining (default %d, higher numbers more beneficial)  , higher numbers more beneficial)3|=[,...] The benefit of lifting definitions to toplevel during inlining (default -inline-lifting-benefitan indirect call indirect a conditionalbranch a primitiveprim an allocationalloca callcall ;|=[,...] The cost of not removing %s during inlining (default %d, higher numbers more costly)    , higher numbers more costly) during inlining (default |=[,...] The cost of not removing  -inline-%s-cost   -cost -inline-G Make inlining decisions at function definition time rather than at the call site (replicates previous behaviour of the compiler) -Oclassic /|=[,...] Unroll recursive functions at most this many times (default %d) /|=[,...] Unroll recursive functions at most this many times (default -inline-max-unroll C Repeat tree optimization and inlining phases this many times (default %d). Rounds are numbered starting from zero.  ). Rounds are numbered starting from zero.+ Repeat tree optimization and inlining phases this many times (default -rounds7 Apply aggressive optimization for speed (may significantly increase code size and compilation time)-O3 Apply increased optimization for speed-O2 ' @[<4>Record transformations performed by these passes:@ @[%a@]@] A      @ Record transformations performed by these passes: <4>  -dump-pass/ Emit `..inlining' file(s) (one per round) showing the inliner's decisions-inlining-report 7|=[,...] Aggressiveness of inlining at toplevel (higher numbers mean more aggressive) -inline-toplevel 7|=[,...] Aggressiveness of inlining (default %.02f, higher numbers mean more aggressive)  , higher numbers mean more aggressive)#|=[,...] Aggressiveness of inlining (default -inline Load instead of default init file-init Compile as a .ml file-implK Add to the list of "hidden" include directories (Like -I, but the program can not directly reference these dependencies)-H Add to the list of include directories-I Print inferred interface-i Do not record debugging information (default)-no-g Record debugging information for exception backtrace Save debugging information-g3 Generate code that can later be `packed' with ocamlopt -pack -o .cmx/ Generate code that can later be `packed' with ocamlc -pack -o .cmo -for-pack (deprecated) same as -annot-dtypes7 Save intermediate representation after the given compilation pass(may be specified more than once). -save-ir-after Stop after the given compilation pass. -stop-after' Generate each function in a separate section if target supports it (option not available)-function-sections