title: promela - how do i initialize an array at one time?
body: <p>I'd ideally like something like this:</p>
  
  <pre><code>byte things[10] = {1,4,5,6,13,14,15,16,10,12};
  </code></pre>
  
  <p>But as far as I can tell that doesn't work. Is there a way to do this that's not like this?</p>
  
  <pre><code>things[0] = 1
  things[1] = 4
  things[2] = 5
  ...
  </code></pre>