MEMORY32_RANGE len=5: read I32(5),I32(9),I32(13)
    -> OOB DETECTED (OOB WOULD HAPPEN on kernel kmalloc'd buffer)
[MEMORY32_FIXED] tag=7 declared_len=3:
  MEMORY32_FIXED len=3: read I32(1),I32(5)
    -> OOB DETECTED (OOB WOULD HAPPEN on kernel kmalloc'd buffer)
---
  [fix] skip MEMORY32_RANGE len=5
    -> no OOB (OOB )
[MEMORY32_FIXED] tag=7 declared_len=3:
  [fix] skip MEMORY32_FIXED len=3
    -> no OOB (OOB )