(</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: #267F99">Bytecode</span>
<span style="color: #000000">  </span><span style="color: #001080">bytecodeId</span><span style="color: #000000">(</span><span style="color: #001080">input</span><span style="color: #000000">: </span><span style="color: #267F99">BytecodeInput</span><span style="color: #000000">!): </span><span style="col