terms of 64 <2 x double>, for example.</li>
</ol>
</div>
-<!-- ======================================================================= -->
-<div class="doc_subsection">
- <a name="datalayout">Data Layout</a>
-</div>
-<div class="doc_text">
- <p>At the top level, the keyword <tt>checkpoint</tt> may be used to force the
- assembler to check point the types and values it has defined so far. Any
- unresolved types or references will generate error messages. This is useful
- as an assertion point or for debugging.</p>
-</div>
<!-- *********************************************************************** -->
<div class="doc_section"> <a name="typesystem">Type System</a> </div>