calling ar5211GetLowerUpperValues(listSize=0) with array at page start, predecessor PROT_NONE...
SIGSEGV (:1818 *(pList + listSize - 1) with listSize=0 (numEdges=0)) — OOB load below the array confirmed
RESULT: FAULTED at :1818 *(pList + listSize - 1) with listSize=0 (numEdges=0) : primitive PROVEN
exit=33