Used numeric values for state identifiers.