Symbol: GetStateIDandSeq