@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();
        // Add a dummy [3] BIT STRING which should be ignored by implementation
        fields.add(new DERTaggedObject(true, 3, new DERBitString(0xA5)));

	// Translate doubled quotes
	*ls = LiteralList(strings.Split(r, ","))
	return nil
}

// ObjectKey is a type for parsed strings occurring in key paths
type ObjectKey struct {
	Lit *LiteralString `parser:" \"[\" @LitString \"]\""`
	ID  *Identifier    `parser:"| \".\" @@"`
}

// QuotedIdentifier is a type for parsed strings that are double
// quoted.
type QuotedIdentifier string

// Capture interface used by participle

pkg encoding/asn1, method (BitString) At(int) int
pkg encoding/asn1, method (BitString) RightAlign() []uint8
pkg encoding/asn1, method (ObjectIdentifier) Equal(ObjectIdentifier) bool
pkg encoding/asn1, method (StructuralError) Error() string
pkg encoding/asn1, method (SyntaxError) Error() string
pkg encoding/asn1, type BitString struct
pkg encoding/asn1, type BitString struct, BitLength int