<!--=========================================================================-->
<h2><a name="example">Example usage</a></h2>
<!--=========================================================================-->
-<div class="doc_text">
+<div>
<p>In order to debug code JITed by LLVM, you need GDB 7.0 or newer, which is
available on most modern distributions of Linux. The version of GDB that Apple
<!--=========================================================================-->
<h2><a name="background">Background</a></h2>
<!--=========================================================================-->
-<div class="doc_text">
+<div>
<p>Without special runtime support, debugging dynamically generated code with
GDB (as well as most debuggers) can be quite painful. Debuggers generally read