typedef enum
{
FE_OPT_BATCH=0,
  FE_OPT_EXECUTE,
  FE_OPT_SDB,
  FE_OPT_ECHO,
  FE_OPT_HELP,
  FE_OPT_PROFILE,
  FE_OPT_QUIET,
  FE_OPT_SORT,
  FE_OPT_RANDOM,
  FE_OPT_NO_TTY,
  FE_OPT_USER_OPTION,
  FE_OPT_VERSION,
  FE_OPT_ALLOW_NET,
  FE_OPT_BROWSER,
  FE_OPT_CNTRLC,
  FE_OPT_EMACS,
  FE_OPT_LOG,
  FE_OPT_NO_STDLIB,
  FE_OPT_NO_RC,
  FE_OPT_NO_WARN,
  FE_OPT_NO_OUT,
  FE_OPT_NO_SHELL,
  FE_OPT_MIN_TIME,
  FE_OPT_CPUS,
  FE_OPT_THREADS,
  FE_OPT_FLINT_THREADS,
  FE_OPT_MPPORT,
  FE_OPT_MPHOST,
  FE_OPT_LINK,
  FE_OPT_TICKS_PER_SEC,
  FE_OPT_DUMP_VERSIONTUPLE,
  FE_OPT_UNDEF
} feOptIndex;
