sysenvoptionty

type sysenvoptionty = (

  seo_appterminateonexception,

  seo_terminateonerror,

  seo_haltonerror,

  seo_exceptiononerror,

  seo_exitoninfo,

  seo_noerrormess,

  seo_tooutput,

  seo_toerror,

  seo_noautoinit

);