Seems odd to have both symbolic constants and literal constants for state values.