Is there any further documentation on this and on how the compiler initializes const (flash) data?
It doesn't seem quite right that you could use designated initializers and not be guaranteed the value of non-designated elements within that data structure. The value has to start as something? If it's not zero, then what value does it get set to?