EnumeratorValues.ice:17: value for enumerator `C' is out of range
EnumeratorValues.ice:17: enumerator `C' has the same value as enumerator `B'
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