Fix native array accesses

For the variable "uint32_t v258[8]" the write-accesses are on the form "&v258[1] = ..". Make it "v258[1] = .." instead.