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,FREEMAIL_FROM
	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-Thread: f849b,b8d52151b7b306d2
X-Google-Attributes: gidf849b,public
X-Google-ArrivalTime: 2004-01-13 22:50:22 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!newshosting.com!news-xfer1.atl.newshosting.com!216.196.98.140.MISMATCH!border1.nntp.ash.giganews.com!border2.nntp.sjc.giganews.com!border1.nntp.sjc.giganews.com!nntp.giganews.com!local1.nntp.sjc.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 14 Jan 2004 00:50:20 -0600
Date: Wed, 14 Jan 2004 01:50:20 -0500
From: "Robert I. Eachus" <rieachus@comcast.net>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.arch.embedded,comp.lang.ada
Subject: Re: Certified C compilers for safety-critical embedded systems
References: <3fe00b82.90228601@News.CIS.DFN.DE>
 <3ff18d4d.603356952@News.CIS.DFN.DE> <1731094.1f7Irsyk1h@linux1.krischik.com>
 <3ff1b8ef.614528516@News.CIS.DFN.DE> <3FF1E06D.A351CCB4@yahoo.com>
 <3ff20cc8.635997032@News.CIS.DFN.DE> <bsumbs$k9e$2@a1-hrz.uni-duisburg.de>
 <AttdI2KzFEC2@eisner.encompasserve.org> <K5ydnZZB5rs1BWKi4p2dnA@comcast.com>
 <VK2Mb.2414$Qq.1124@nwrdny01.gnilink.net> <bts0sf$1vc3$1@msunews.cl.msu.edu>
 <tP2dndMsaLDKEpzd4p2dnA@comcast.com> <bts5ib$23a0$1@msunews.cl.msu.edu>
 <btsrnj$gld$2@a1-hrz.uni-duisburg.de> <btt08e$2pnv$1@msunews.cl.msu.edu>
 <XJWdnYzddPrfuZ_dRVn-uw@comcast.com> <3937370.JJaIY0lcS8@linux1.krischik.com>
In-Reply-To: <3937370.JJaIY0lcS8@linux1.krischik.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <lM-dncs19fYxe5ndRVn-ug@comcast.com>
NNTP-Posting-Host: 24.34.214.193
X-Trace: 
 sv3-Wrffk93e8IsvV545ujrcUHHsNA6l55vfUqEeRf36ERxA78PzHoaF4O8+G+Ew5kky2WWwCJQtTIo/brx!ixUb4MpRBO4dgs7yF3IT8sQ9mCgI0t2yXQ52gjlJad10sNmUH5Pw7G45nkds8w==
X-Complaints-To: abuse@comcast.net
X-DMCA-Complaints-To: dmca@comcast.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.1
Xref: archiver1.google.com comp.arch.embedded:7457 comp.lang.ada:4381
Date: 2004-01-14T01:50:20-05:00
List-Id: <comp.lang.ada>

Martin Krischik wrote:

> I don't think GNAT will give up at 2**32.

Oops!

-- 
                                           Robert I. Eachus

"The war on terror is a different kind of war, waged capture by capture, 
cell by cell, and victory by victory. Our security is assured by our 
perseverance and by our sure belief in the success of liberty." -- 
George W. Bush