command_line_help_summary: 
STRING 
					is "Usage: compile_to_c [options] <RootClass> <RootProcedure> ...
   or: compile_to_c [options] <ACEfileName>.ace
Compile the Eiffel source to ANSI C.
For information about and examples of ACE files, have a look in the
tutorial/ace directory.
Most of the following options are not available when using an ACE file.
Option summary:
Information:
  -help               Display this help information
  -version            Display Liberty Eiffel version information
  -verbose            Display detailed information about what the compiler is
                       doing
Warning levels:
  -style_warning      Print warnings about style violations
  -no_warning         Don't print any warnings
  -relax              Perform less checks by considering less dead code, hence
                       using less memory and less compilation time. Useful to
                       prototype or to deliver safe code. (Useful too for very
                       small computers.)
Message styles:
  -flymake_mode       Display messages in a compact format suitable for
                       processing by tools such as Emacs' Flymake mode
Optimization and debugging levels (specify one only; default is -all_check):
  -boost              Enable all optimizations, but disable all run-time
                       checks
  -no_check           Enable Void target and system-level checking
  -require_check      Enable precondition checking (implies -no_check)
  -ensure_check       Enable postcondition checking (implies -require_check)
  -invariant_check    Enable class invariant checking (implies -ensure_check)
  -loop_check         Enable loop variant and invariant checking
                       (implies -invariant_check)
  -all_check          Enable 'check' blocks (implies -loop_check)
  -debug              Enable 'debug' blocks
  -flat_check         Each assertion will be executed in no_check mode. Use
                       with any mode from require_check to all_check.
Class lookup:
  -loadpath <file>    Specify an extra loadpath file to read
C compilation and run-time system:
  -cc <command>       Specify the C compiler to use
  -c_mode <C mode>    Specify a C mode to use. This option is incompatible
                       with -cc
  -cecil <file>       Take CECIL information from <file>
                       (may be used more than once)
  -o <file>           Put the executable program into <file>
  -no_main            Don't include a main() in the generated executable
  -no_gc              Disable garbage collection
  -bdw_gc             Use Boehm-Demers-Weiser conservative GC
  -gc_info            Enable status messages from the garbage collector
  -no_strip           Don't run 'strip' on the generated executable
  -no_split           Generate only one C file
  -split <split mode> Select the split mode
                       (either 'no', 'legacy', or 'by_type')
  -sedb               Enable sedb, the Liberty Eiffel debugger
  -profile            Generates profile on Eiffel calls at program exit
  -manifest_string_trace
                      Enable the trace support to track non-once manifest
                       string creation
  -no_rescue          Don't compile rescue sections
Miscellaneous:
  -high_memory_compiler
                      Allow the compile_to_c to use more memory; if you have
                       enough physical memory, compilation should be faster
                       (note: generated C code is not affected)
"
					constant attribute