<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Hi Christian,<br>
    <br>
    here are clang binaries generated with MinGW and VS:<br>
    <br>
    clang_MinGW.exe<br>
    <a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__yadi.sk_d_6lP1CanQi3UYt&d=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=HkOpO_AvqLiQRhM4TkA0OAkVFWLZciHjAvQWQb25mkU&m=RdD7xWLvfY0JzqPxo-c93vj1cqvfRWkoXGxwrsYAzrM&s=0KQIrkQEE-Gnh-Q4wvJjLy4VSmQC_fWg3jZUm3zzid0&e=">https://yadi.sk/d/6lP1CanQi3UYt</a><br>
    <br>
    clang_VS.exe<br>
    <a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__yadi.sk_d_mmVuTRq-5Fi3UYN&d=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=HkOpO_AvqLiQRhM4TkA0OAkVFWLZciHjAvQWQb25mkU&m=RdD7xWLvfY0JzqPxo-c93vj1cqvfRWkoXGxwrsYAzrM&s=RqcQ09VqJc0raBLliEnarchvi7S3l3vttMxG_OEMw2U&e=">https://yadi.sk/d/mmVuTRq_i3UYN</a><br>
    <br>
    download instruction:<br>
    <img alt="" src="cid:part1.01020007.08080805@Gmail.com" height="245"
      width="373"><br>
    <br class="">
    <blockquote
      cite="mid:F4D10FE2-F948-4869-BA09-A4D23AC029B7@apple.com"
      type="cite">
      <div class="">
        <div>
          <blockquote type="cite" class="">
            <div class="">
              <div class="WordSection1" style="page: WordSection1;
                font-family: Helvetica; font-size: 12px; font-style:
                normal; font-variant: normal; font-weight: normal;
                letter-spacing: normal; line-height: normal; orphans:
                auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;">
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><span
                    style="color: rgb(31, 73, 125);" class="">Hi again,<o:p
                      class=""></o:p></span></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><span
                    style="color: rgb(31, 73, 125);" class=""> </span></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><span
                    style="color: rgb(31, 73, 125);" class="">no answer
                    so far, so let me rephrase my question: Has anybody
                    managed to build a recent version of the static
                    analyzer for Windows platforms? If this is the case,
                    would she or he be willing to share the executable
                    with me?<o:p class=""></o:p></span></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><span
                    style="color: rgb(31, 73, 125);" class=""> </span></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><span
                    style="color: rgb(31, 73, 125);" class="">Thanks in
                    advance,<o:p class=""></o:p></span></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><span
                    style="color: rgb(31, 73, 125);" class="">Christian<o:p
                      class=""></o:p></span></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><i
                    class=""> </i></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div class="">
                  <div style="border-style: solid none none;
                    border-top-color: rgb(225, 225, 225);
                    border-top-width: 1pt; padding: 3pt 0cm 0cm;"
                    class="">
                    <div style="margin: 0cm 0cm 0.0001pt; font-size:
                      11pt; font-family: Calibri, sans-serif;" class=""><b
                        class="">Von:</b><span class=""><span
                          class="Apple-converted-space"> </span><a moz-do-not-send="true" href="mailto:cfe-users-bounces@cs.uiuc.edu" style="color: rgb(149, 79, 114);
                          text-decoration: underline;" class=""><a class="moz-txt-link-abbreviated" href="mailto:cfe-users-bounces@cs.uiuc.edu">cfe-users-bounces@cs.uiuc.edu</a></a><span
                          class="Apple-converted-space"> </span>[<a moz-do-not-send="true" href="mailto:cfe-users-bounces@cs.uiuc.edu" style="color: rgb(149, 79, 114);
                          text-decoration: underline;" class=""><a class="moz-txt-link-freetext" href="mailto:cfe-users-bounces@cs.uiuc.edu">mailto:cfe-users-bounces@cs.uiuc.edu</a></a>]<span
                          class="Apple-converted-space"> </span><b
                          class="">Im Auftrag von<span
                            class="Apple-converted-space"> </span></b><a moz-do-not-send="true" href="mailto:christian.soltenborn@connext.de" style="color: rgb(149, 79, 114);
                          text-decoration: underline;" class=""><a class="moz-txt-link-abbreviated" href="mailto:christian.soltenborn@connext.de">christian.soltenborn@connext.de</a></a><br
                          class="">
                        <b class="">Gesendet:</b><span
                          class="Apple-converted-space"> </span>Montag,
                        6. Juli 2015 15:12<br class="">
                        <b class="">An:</b><span
                          class="Apple-converted-space"> </span><a moz-do-not-send="true" href="mailto:cfe-users@cs.uiuc.edu" style="color: rgb(149, 79, 114);
                          text-decoration: underline;" class=""><a class="moz-txt-link-abbreviated" href="mailto:cfe-users@cs.uiuc.edu">cfe-users@cs.uiuc.edu</a></a><br
                          class="">
                        <b class="">Betreff:</b><span
                          class="Apple-converted-space"> </span>[cfe-users]
                        Building clang's static analyzer on Windows<o:p
                          class=""></o:p></span></div>
                  </div>
                </div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">Hi
                  everybody,<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><span
                    style="" class="">I’d like to evaluate the usage of
                    Clang’s static analyzer on our C++ code. However,
                    there do not seem to be pre-compiled binaries (why?
                    Too early in the project’s lifecycle?), so I tried
                    to build it myself, following the advice from here:<o:p
                      class=""></o:p></span></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><span
                    style="" class=""> </span></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__pete.akeo.ie_2011_10_building-2Dand-2Drunning-2Dclang-2Dstatic.html&d=AwMFAg&c=8hUWFZcy2Z-Za5rBPlktOQ&r=HkOpO_AvqLiQRhM4TkA0OAkVFWLZciHjAvQWQb25mkU&m=YOgcLuzMOaZaWTkMaj1C3ZsG_yi5qcHmWUkq4Qz2-_Y&s=bX1eNsBfjAL6AkX6sF9ITk3lJP4m0ZyRj5pucEIdvsE&e=" style="color: rgb(149, 79, 114); text-decoration:
                    underline;" class=""><a class="moz-txt-link-freetext" href="http://pete.akeo.ie/2011/10/building-and-running-clang-static.html">http://pete.akeo.ie/2011/10/building-and-running-clang-static.html</a></a><o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">This works
                  fine until issuing make in step 5 of the process,
                  where I’m running into compile problems. Below’s the
                  output of my compilation attempt – does anybody have
                  an idea on what’s going on here?<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">Thanks in
                  advance,<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">Christian<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">Output of
                  make:<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">make[1]:
                  Entering directory `/src/build/lib/Support'<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling APFloat.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling APInt.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling APSInt.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling ARMBuildAttrs.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling ARMWinEH.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling Allocator.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling Atomic.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling BlockFrequency.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling BranchProbability.cpp for Release+Asserts
                  build<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling COM.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling CommandLine.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling Compression.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling ConvertUTF.c for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling ConvertUTFWrapper.cpp for Release+Asserts
                  build<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling CrashRecoveryContext.cpp for Release+Asserts
                  build<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling DAGDeltaAlgorithm.cpp for Release+Asserts
                  build<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling DataExtractor.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling DataStream.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling Debug.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling DeltaAlgorithm.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling Dwarf.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">llvm[1]:
                  Compiling DynamicLibrary.cpp for Release+Asserts build<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">In file
                  included from
                  D:/Clang/msys/1.0/src/llvm/lib/Support/DynamicLibrary.cpp:40:0:<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">D:/Clang/msys/1.0/src/llvm/lib/Support/Windows/DynamicLibrary.inc:34:56:
                  error: 'PENUMLOADED_MODULES_CALLBACK64' has not been
                  declared<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">typedef
                  BOOL (WINAPI
                  *fpEnumerateLoadedModules)(HANDLE,PENUMLOADED_MODULES_CALLBACK64,PVOID);<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">                                  
                                       ^<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">D:/Clang/msys/1.0/src/llvm/lib/Support/Windows/DynamicLibrary.inc:
                  In static member function 'static
                  llvm::sys::DynamicLibrary
                  llvm::sys::DynamicLibrary::getPermanentLibrary(const
                  char*, std::string*)':<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">D:/Clang/msys/1.0/src/llvm/lib/Support/Windows/DynamicLibrary.inc:70:65:
                  error: invalid conversion from 'BOOL
                  (__attribute__((__stdcall__)) *)(PSTR, DWORD64, ULONG,
                  PVOID) {aka int (__attribute__((__stdcall__))
                  *)(char*, long long unsigned int, long unsigned int,
                  void*)}' to 'int' [-fpermissive]<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">    
                  fEnumerateLoadedModules(GetCurrentProcess(),
                  ELM_Callback, 0);<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">                                                                
                  ^<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">/bin/rm:
                  cannot lstat
                  `/usr/src/build/lib/Support/Release+Asserts/DynamicLibrary.d.tmp':
                  No such file or directory<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">make[1]:
                  ***
                  [/usr/src/build/lib/Support/Release+Asserts/DynamicLibrary.o]
                  Error 1<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">make[1]:
                  Leaving directory `/src/build/lib/Support'<o:p
                    class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class="">make: ***
                  [all] Error 1<o:p class=""></o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt;
                  font-family: Calibri, sans-serif;" class=""><o:p
                    class=""> </o:p></div>
                <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New';" class=""><o:p class=""> </o:p></pre>
                <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New';" class="">E-Mail-Info:<o:p class=""></o:p></pre>
                <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New';" class="">Connext Communication GmbH<o:p class=""></o:p></pre>
                <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New';" class="">Balhorner Feld 11<o:p class=""></o:p></pre>
                <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New';" class="">D-33106 Paderborn<o:p class=""></o:p></pre>
                <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New';" class="">Geschaeftsfuehrer Joerg Kesselmeier<o:p class=""></o:p></pre>
                <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New';" class="">AG Paderborn HRB 1984<o:p class=""></o:p></pre>
                <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New';" class="">Ust-ID:DE126329091<o:p class=""></o:p></pre>
              </div>
              <div style="margin-right: 0cm; margin-left: 0cm;
                font-size: 12pt; font-family: 'Times New Roman', serif;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;"
                class=""><br class="webkit-block-placeholder">
              </div>
              <pre style="margin: 0cm 0cm 0.0001pt; font-size: 10pt; font-family: 'Courier New'; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">E-Mail-Info:
Connext Communication GmbH
Balhorner Feld 11
D-33106 Paderborn
Geschaeftsfuehrer Joerg Kesselmeier
AG Paderborn HRB 1984
Ust-ID:DE126329091
</pre>
              <div style="margin-right: 0cm; margin-left: 0cm;
                font-size: 12pt; font-family: 'Times New Roman', serif;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;"
                class=""><br class="webkit-block-placeholder">
              </div>
              <span style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                float: none; display: inline !important;" class="">_______________________________________________</span><br
                style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;"
                class="">
              <span style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;
                float: none; display: inline !important;" class="">cfe-users
                mailing list</span><br style="font-family: Helvetica;
                font-size: 12px; font-style: normal; font-variant:
                normal; font-weight: normal; letter-spacing: normal;
                line-height: normal; orphans: auto; text-align: start;
                text-indent: 0px; text-transform: none; white-space:
                normal; widows: auto; word-spacing: 0px;
                -webkit-text-stroke-width: 0px;" class="">
              <a moz-do-not-send="true" href="mailto:cfe-users@cs.uiuc.edu" style="color:
                rgb(149, 79, 114); text-decoration: underline;
                font-family: Helvetica; font-size: 12px; font-style:
                normal; font-variant: normal; font-weight: normal;
                letter-spacing: normal; line-height: normal; orphans:
                auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">cfe-users@cs.uiuc.edu</a><br
                style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;"
                class="">
              <a moz-do-not-send="true" href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-users" style="color: rgb(149, 79, 114); text-decoration:
                underline; font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-users</a><br
                style="font-family: Helvetica; font-size: 12px;
                font-style: normal; font-variant: normal; font-weight:
                normal; letter-spacing: normal; line-height: normal;
                orphans: auto; text-align: start; text-indent: 0px;
                text-transform: none; white-space: normal; widows: auto;
                word-spacing: 0px; -webkit-text-stroke-width: 0px;"
                class="">
            </div>
          </blockquote>
        </div>
        <br class="">
      </div>
    </blockquote>
    <br>
    <br>
    <pre class="moz-signature" cols="72">-- 
Anton</pre>
  </body>
</html>