bool   y    allow_inlining
bool   n    inline_simple
bool   y    inline_builtins
bool   n    inline_single_use
int    0    inline_call_cost
int    0    inline_compound_threshold
int    5    inline_simple_threshold
int    100  inline_vars_threshold
int    5    intermod_inline_simple_threshold
int    5    from_ground_term_threshold
bool   y    enable_const_struct_poly
bool   y    enable_const_struct_user
bool   n    opt_common_structs
bool   n    prop_constraints
bool   n    prop_local_constraints
bool   n    opt_dup_calls
bool   n    prop_constants
bool   n    elim_excess_assigns
bool   n    merge_code_after_switch
bool   y    opt_format_calls
bool   y    split_switch_arms
bool   n    opt_loop_invariants
bool   n    opt_saved_vars_const
bool   n    opt_svcell
bool   y    opt_svcell_loop
bool   y    opt_svcell_full_path
bool   y    opt_svcell_on_stack
bool   y    opt_svcell_candidate_headvars
int    3    opt_svcell_cv_store_cost
int    1    opt_svcell_cv_load_cost
int    1    opt_svcell_fv_store_cost
int    1    opt_svcell_fv_load_cost
int    100  opt_svcell_op_ratio
int    100  opt_svcell_node_ratio
int    100  opt_svcell_all_path_node_ratio
bool   n    opt_svcell_all_candidates
bool   n    delay_constructs
bool   n    opt_follow_code
bool   n    opt_unused_args
bool   n    opt_unused_args_intermod
bool   n    opt_higher_order
int    20   higher_order_size_limit
int    10   higher_order_arg_limit
bool   n    opt_unneeded_code
int    10   opt_unneeded_code_copy_limit
bool   n    spec_types
bool   n    spec_types_user_guided
bool   n    introduce_accumulators
bool   n    opt_lcmc_accumulator
bool   n    opt_lcmc_null
bool   n    opt_lcmc
bool   n    opt_dead_procs
bool   n    deforest
int    4    deforestation_depth_limit
int    1000 deforestation_cost_factor
int    200  deforestation_vars_threshold
int    15   deforestation_size_threshold
bool   n    untuple
bool   n    tuple
string -    tuple_trace_counts_file
int    100  tuple_costs_ratio
int    4    tuple_min_args
bool   n    inline_par_builtins
bool   n    spec_in_all_dep_par_conjs
bool   y    allow_some_paths_only_waits
bool   n    analyse_regions
bool   n    use_smart_indexing
bool   n    use_smart_indexing_atomic
bool   n    use_smart_indexing_string
bool   n    use_smart_indexing_tag
bool   n    use_smart_indexing_float
int    25   dense_switch_req_density
int    25   lookup_switch_req_density
int    4    dense_switch_size
int    4    lookup_switch_size
int    16   string_trie_switch_size
int    8    string_hash_switch_size
int    4    string_binary_switch_size
int    3    tag_switch_size
int    3    try_switch_size
int    4    binary_switch_size
bool   n    put_base_first_single_rec
bool   y    put_base_first_multi_rec
bool   n    use_static_ground_cells
bool   n    use_static_ground_floats
bool   n    use_static_ground_int64s
bool   n    use_static_code_addresses
bool   n    use_atomic_cells
bool   n    opt_middle_rec_llds
bool   n    opt_simple_neg_llds
bool   y    allow_hijacks
bool   n    opt_mlds_tailcalls
bool   n    opt_mlds_inits
bool   y    elim_unused_mlds_assigns
bool   n    elim_local_vars_mlds
bool   y    gen_trail_ops_inline_mlds
bool   n    use_llds_common_data
bool   y    use_llds_common_layout_data
bool   n    optimize_llds
bool   n    optimize_mlds
bool   n    peep_llds
bool   n    peep_llds_mkword
bool   n    peep_mlds
bool   n    opt_jumps
bool   n    opt_fulljumps
bool   n    pessimize_llds_tailcalls
bool   n    opt_checked_nondet_tailcalls
bool   n    use_local_vars_llds
int    2    llds_local_var_access_threshold
bool   n    standardize_labels
bool   n    opt_labels
bool   n    opt_dup_instrs_llds
bool   n    opt_dup_procs_llds
bool   n    opt_frames
bool   n    opt_delay_slot
bool   n    opt_llds_reassign
int    0    repeat_opts                         opt_repeat
int    4000 llds_layout_compression_limit
bool   n    use_macro_for_redo_fail
bool   n    emit_c_loops
int    1    procs_per_c_function
bool   n    use_just_one_c_func
bool   y    use_local_thread_engine_base
bool   n    inline_alloc
bool   n    c_optimize                          opt_c
