B4R Question rArduino_JSON, Get number of elements in array

Sub PoorMansJsonArraySize(Haystack As String, Needle As String ) As Int
    Dim ArrayStart As String = """" & Needle & """:["
    Dim ArrayEnd As String = "]"
   
    Dim P As Int = Haystack.IndexOf(ArrayStart)
    If P < 0 Then Return 0
   
    Dim Q As Int = Haystack.IndexOf2(ArrayEnd, P + ArrayStart.Length)
    If Q < 0 Then Return 0

    Dim NumQuotationMarks As Int = 0
    For I = P + ArrayStart.Length To Q - ArrayEnd.Length
        If Haystack.CharAt(I) = """" Then
            NumQuotationMarks = NumQuotationMarks + 1
        End If
    Next
   
    Return Bit.ShiftRight(NumQuotationMarks, 1)    'integer divide-by-2
End Sub

Dim J As String = $"{"nam":"John Smith","id":"SDD01001","exp":"2512311400","ver":"1.40","dv":["ALX01001","ALX01002","ALX01003","ALX01004"]}"$
Log(PoorMansJsonArraySize(J, "dv"))

'Array(1, "dv") - To access the array itself (for getting its length)
'Array(2, "dv", m) - To access individual elements within the array

Dim nDevs As Int = Jparse.Length(Array(1,"dv")) ' Correct path is 1, not 2
    Log("nDevices: ",nDevs)
    For m = 0 To nDevs -1
        Log("Device: ", Jparse.GetString(Array(2, "dv", m))) 
    Next

nDevices: 4
Device: ALX01001
Device: ALX01002
Device: ALX01003
Device: ALX01004