arrays - promela - 配列を一度に初期化するにはどうすればよいですか?

Question

私は理想的には次のようなものが欲しいです:

byte things[10] = {1,4,5,6,13,14,15,16,10,12};

しかし、私が知る限り、それはうまくいきません。これを行う方法はありますか？

things[0] = 1
things[1] = 4
things[2] = 5
...