Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site fortune.UUCP
Path: utzoo!linus!philabs!seismo!hao!hplabs!hpda!fortune!rpw3
From: rpw3@fortune.UUCP
Newsgroups: net.politics
Subject: Re: War is Inevitable?! - (nf)
Message-ID: <2023@fortune.UUCP>
Date: Fri, 16-Dec-83 11:04:09 EST
Article-I.D.: fortune.2023
Posted: Fri Dec 16 11:04:09 1983
Date-Received: Mon, 19-Dec-83 00:17:32 EST
Sender: notes@fortune.UUCP
Organization: Fortune Systems, Redwood City, CA
Lines: 16

#R:astrovax:-15600:fortune:17300011:000:385
fortune!rpw3    Dec 16 01:12:00 1983

"A bug? In your C program? But it passed 'lint', didn't it?"

"A bug? In your Ada program? But it passed the Mark 107 Theorem Prover,
didn't it?"

In both cases, "...yea, but nobody bothered to READ the program..."

Rob Warnock

UUCP:	{sri-unix,amd70,hpda,harpo,ihnp4,allegra}!fortune!rpw3
DDD:	(415)595-8444
USPS:	Fortune Systems Corp, 101 Twin Dolphins Drive, Redwood City, CA 94065