tput"><span class="identifier">dest</span></code>
                      sequence.
                    </p>
                  </td>
<td>
                    <p>
                      Operation's argument
                    </p>
                  </td>
</tr>
<tr>
<td>
                    <p>
                      <code class="computeroutput"><span class="identifier">dest</span></code>
                    </p>
                  </td>
<td>
                    <p>
                      A model of <a class="link