C arrays as state variables does not work as expected

[erlingrj]

main reactor {
 state arr: int[100]
}

Here I would expect to have an int[100] field on the self-struct, but what is code generated is just an int*. If you initialize it, then it will work because the pointer is pointed at a global variable (static to the trigger_initialize function)

At least we should document this.

[edwardalee]

This feels like a bug to me.