"identifier">checkpoint</span> <span class="identifier">location</span><span class="special">&gt;:</span> <span class="identifier">last</span>
                    <span class="identifier">checkpoint</span><span class="special">:</span>
                    <span class="special">&lt;</span><span class="identifier">checkpoint</span>
                    <span class="identifier">message</span><span class="special">&gt;</span></code>
                  </p>
                </td>
</tr>
<tr>
<td>
                  <