changing from characters to t_symbols for state names