}, "Should throw PACDecodingException for incompatible types in tagged object");
    }

    // --- as(Class, ASN1Sequence, int) ---

    @Test
    void testAs_ASN1Sequence_Success() throws PACDecodingException {
        // Test successful casting from sequence
        ASN1EncodableVector vector = new ASN1EncodableVector();
        ASN1Integer expected = new ASN1Integer(10);