From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-15 21:46:03 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!zeus.visi.com!priapus.visi.com!orange.octanews.net!news.octanews.net!news-out.visi.com!petbe.visi.com!newshosting.com!news-xfer1.atl.newshosting.com!news-feed01.roc.ny.frontiernet.net!nntp.frontiernet.net!prodigy.com!newsmst01.news.prodigy.com!prodigy.com!postmaster.news.prodigy.com!newssvr22.news.prodigy.com.POSTED!c290090c!not-for-mail
From: "Pat Rogers" <progers@classwide.com>
Newsgroups: comp.lang.ada
References: <NlSMb.1401$ZG5.733@reader1.news.jippii.net>
 <mailman.0.1074032309.303.comp.lang.ada@ada-france.org>
 <0F6Nb.1623$Tt.642@reader1.news.jippii.net>
 <bu3dr0$1o6$1@a1-hrz.uni-duisburg.de> <TZudnRercMyd75jdRVn-gQ@comcast.com>
 <bu4ftj$g0r$1@phys-news1.kolumbus.fi>
Subject: Re: Certified C compilers for safety-critical embedded systems
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Message-ID: <ITKNb.8346$lW6.2901@newssvr22.news.prodigy.com>
NNTP-Posting-Host: 208.191.177.108
X-Complaints-To: abuse@prodigy.net
X-Trace: newssvr22.news.prodigy.com 1074231912 ST000 208.191.177.108 (Fri,
 16 Jan 2004 00:45:12 EST)
NNTP-Posting-Date: Fri, 16 Jan 2004 00:45:12 EST
Organization: SBC http://yahoo.sbc.com
X-UserInfo1: 
 SCSYQN_@OXRQRILY@BJZ\_TDFRYB@GXLN@GZ_GYO^BVNDQUBLNTC@AWZWDXZXQ[K\FFSKCVM@F_N_DOBWVWG__LG@VVOIPLIGX\\BU_B@\P\PFX\B[APHTWAHDCKJF^NHD[YJAZMCY_CWG[SX\Y]^KC\HSZRWSWKGAY_PC[BQ[BXAS\F\\@DMTLFZFUE@\VL
Date: Fri, 16 Jan 2004 05:45:12 GMT
Xref: archiver1.google.com comp.lang.ada:4452
Date: 2004-01-16T05:45:12+00:00
List-Id: <comp.lang.ada>

As this topic no longer corresponds much to the subject line, I feel
free to give in to temptation and contribute thusly:

> "Wovon man nicht sprechen kann, daruber muss man schweigen"
>   - Ludwig Wittgenstein, Tractatus Logico-Philosophicus


"Wittgenstein was a beery swine who was just as sloshed as Schlegel."

Pat Rogers