as shown above, the designer can specify an underlying arithmetic type (codice_6 in this case) which is used to represent the enumeration value. the meta-values x and z can be used here, possibly to represent illegal states. the built-in function codice_7 returns an ascii string for the current enumerated value, which is useful in validation and testing.