}

    @Test
    @DisplayName("Tag [3] MIC with non-OctetString is ignored (no crash)")
    void testMicTag3NonOctetIgnored() throws Exception {
        // Manually craft a token where field [3] is not an OctetString (e.g., BitString)
        ASN1EncodableVector fields = new ASN1EncodableVector();