}

    @ParameterizedTest
    @ValueSource(ints = { -1, 0, 13, 15, 99 })
    @DisplayName("seq ctor: invalid msgType values throw")
    void sequenceConstructor_invalidMsgType_throws(int badType) throws Exception {
        // Arrange: correct version, wrong msg type
        ASN1EncodableVector v = new ASN1EncodableVector();