toddb@tekcrl.UUCP (Todd Brunhoff) (08/22/86)
... has been posted to net.sources.bugs. Send me a note if you don't get the posting.