states are ints