let control_arg_spec () = [
    (arg_spec_of_integer
       "-k"
       0
       k_opt
       "Value of extrapolation parameter")
    ;
    (arg_spec_of_integer
       "-limit"
       0
       limit_opt
       "Number of simulation steps (automatic mode only)")
    ;
    ("-no-scm-consistency-check",
     Arg.Clear scm_consistency_check_opt,
     " Disable consistency check of input SCM description")
    ;
    ("-statistics",
     Arg.Set show_statistics_opt,
     " Show performance statistics")
  ]