<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    And everyone at Purdue assured me the changeover to the new mail
    system would be no problem ...<br>
    <div class="moz-forward-container"><br>
      <br>
      -------- Forwarded Message --------
      <table class="moz-email-headers-table" border="0" cellpadding="0"
        cellspacing="0">
        <tbody>
          <tr>
            <th nowrap="nowrap" valign="BASELINE" align="RIGHT">Subject:
            </th>
            <td>GCC Undefined Behavior Sanitizer – ubsan | Red Hat
              Developer Blog</td>
          </tr>
          <tr>
            <th nowrap="nowrap" valign="BASELINE" align="RIGHT">Date: </th>
            <td>Wed, 22 Oct 2014 21:42:08 -0400</td>
          </tr>
          <tr>
            <th nowrap="nowrap" valign="BASELINE" align="RIGHT">From: </th>
            <td>Bradley Lucier <a class="moz-txt-link-rfc2396E" href="mailto:lucier@purdue.edu"><lucier@purdue.edu></a></td>
          </tr>
          <tr>
            <th nowrap="nowrap" valign="BASELINE" align="RIGHT">To: </th>
            <td>Marc Feeley <a class="moz-txt-link-rfc2396E" href="mailto:feeley@iro.umontreal.ca"><feeley@iro.umontreal.ca></a></td>
          </tr>
          <tr>
            <th nowrap="nowrap" valign="BASELINE" align="RIGHT">CC: </th>
            <td>Bradley Lucier <a class="moz-txt-link-rfc2396E" href="mailto:lucier@math.purdue.edu"><lucier@math.purdue.edu></a>, Gambit
              List <a class="moz-txt-link-rfc2396E" href="mailto:gambit-list@iro.umontreal.ca"><gambit-list@iro.umontreal.ca></a></td>
          </tr>
        </tbody>
      </table>
      <br>
      <br>
      <pre><a class="moz-txt-link-freetext" href="http://developerblog.redhat.com/2014/10/16/gcc-undefined-behavior-sanitizer-ubsan/">http://developerblog.redhat.com/2014/10/16/gcc-undefined-behavior-sanitizer-ubsan/</a>

More tools to help "sanitize" the gambit source code.  Sometime I'll get
around to something like this ...

Brad
</pre>
      <br>
    </div>
    <br>
  </body>
</html>