Segfault when iterating over an array with "for ... in ..."

[B Xu]

Code:

demo16.pml

typedef wrapper{
  byte data; 
}
wrapper test_array[10];

init {
  byte idx = 0;
  for (idx in test_array) {
    skip;
  }
}

Error:

> spin -V
Spin Version 6.5.2 -- 9 June 2022
> spin -a demo16.pml
fish: Job 1, 'spin -a demo16.pml' terminated by signal SIGSEGV (Address boundary error)

[nimble-code]

interesting example -- i've updated flow.c and version.h to at least intercept this and exist with an error
thanks for reporting!
-g