public BitVector32 State { get; }
public: virtual property BitVector32 State { BitVector32 get () sealed; }