@override TSet readSetBegin() { int elementType = readByte(); int length = readI32(); return TSet(elementType, length); }