Array initialization in SPARK

[xorque <xorquewasp@googlemail.com>]

Hello.

What's the correct way to initialize an array in SPARK?

Every method I've tried results in semantic or flow errors:

   9        Status (Index) := 0;
            ^
!!!        Flow Error        : 23: Statement contains reference(s) to
variable
           Status which has an undefined value.

   6      Status : Status_t := (others => 0);
                                ^
***        Syntax Error      : No EXPRESSION can start with reserved
word
           "OTHERS".

   7        (Status_Element_Index_t'First => 0,
                                          ^
***        Syntax Error      : No complete SIMPLE_EXPRESSION can be
followed by
           "=>" here.

And so on...