EnumeratorValues.ice:18: value for enumerator `D' is out of range
EnumeratorValues.ice:19: value for enumerator `E' is out of range
EnumeratorValues.ice:20: value for enumerator `F' is out of range
EnumeratorValues.ice:21: value for enumerator `C' is out of range