renamed TCCState to state