">Int</span><span style="color: #000000">): [</span><span style="color: #267F99">Instruction</span><span style="color: #000000">!]</span>
<span style="color: #000000">  </span><span style="color: #001080">id</span><span style="color: #000000">: </span><span style="color: #267F99">ID</span><span style="color: #000000">!</span>
<span style="color: #000000">  </span><span style="color: #001080">type</span><span style="color: #000000">: </span><span style="color: #267F99">String</span><span style="color: #00000