Update state_t.erl