let help () =
  print_string ("\n  NAME\n      cf - Confluence compiler\n\n  SYNOPSIS\n      cf [options] [file] [arguments]\n\n  DESCRIPTION\n      Confluence is a functional programming language for reactive system design, including\n      digital logic systems (ASIC, FPGA) and control oriented hard real-time software.\n\n      The Confluence compiler (cf) translates a Confluence description into\n      Verilog and VHDL (for digital logic synthesis), C (for simulation and\n      software targets), and NuSMV (for formal verification, via model checking).\n\n  OPTIONS\n      -h OR -help\n        Prints this information then exits.\n\n      -b filename OR -base_env filename\n        Sets the base environment for the compilation.  Overrides the CF_ENV\n        environment variable.  If CF_ENV not defined and -base_env option not\n        set, the base environment defaults to /usr/share/confluence/base.cf.\n\n      -e integer OR -error_limit integer\n        Sets the maximum number of reported errors.  A negative number\n        reports all errors.\n\n      -c OR -compile_only\n        Parses and compiles, but does not evaluate a program.\n\n      -o name\n        Sets the output file name.  Default is out.fnf.\n\n      -test\n        Run the built in unit tests.\n\n  ENVIRONMENT VARIABLES\n      CF_ENV\n        A filename that specifies the base environment (commonly base.cf).\n\n      CF_LIB\n        The directory location of the Confluence standard library (optional).\n\n  VERSION\n      " ^ Version.version ^ "\n\n  AUTHOR\n      Tom Hawkins (tomahawkins@yahoo.com)\n\n  SEE ALSO\n      http://www.confluent.org/\n\n  COPYRIGHT\n      Copyright (C) 2003-2005 Tom Hawkins\n\n");
  print_newline ();
  exit 0