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-Thread: a07f3367d7,c9d5fc258548b22a
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!news-xxxfer.readnews.com!textspool1.readnews.com!news-out.readnews.com!postnews3.readnews.com!not-for-mail
Date: Wed, 09 Feb 2011 16:40:52 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.9.2.13) Gecko/20101207 Thunderbird/3.1.7
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: How do I write directly to a memory address?
References: 
 <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com>
 <iis37l$t09$1@tornado.tornevall.net>
 <4d51905c$0$19486$882e7ee2@usenet-news.net>
 <36212a7b-deab-45d9-ac45-aa29cd90c7bc@o18g2000prh.googlegroups.com>
 <4d51a7bb$0$19486$882e7ee2@usenet-news.net> <iisll6$9th$1@munin.nbi.dk>
 <4d52b489$0$19486$882e7ee2@usenet-news.net>
 <9a8njlwvey1p.1a96yvvgdf6yu.dlg@40tude.net>
 <4d52c5e5$0$19486$882e7ee2@usenet-news.net>
 <ewxe8m5g7wz3$.k115u2qzl8ry.dlg@40tude.net>
 <4d52d7d9$0$18057$882e7ee2@usenet-news.net>
 <1jf3s95v7yrkk.1m7rl9zt042py$.dlg@40tude.net>
 <4d52e704$0$18057$882e7ee2@usenet-news.net>
 <271ad249-94dd-43d9-b550-59bd8e2208fc@y12g2000prf.googlegroups.com>
 <4d52f25d$0$18057$882e7ee2@usenet-news.net>
 <9a383662-5b92-4ac8-8446-67be342d97bd@r19g2000prm.googlegroups.com>
 <4d530522$0$18057$882e7ee2@usenet-news.net>
 <57033fe3-b115-4cd4-9e5f-6457d8ff95dc@8g2000prb.googlegroups.com>
In-Reply-To: <57033fe3-b115-4cd4-9e5f-6457d8ff95dc@8g2000prb.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4d5309e6$0$18057$882e7ee2@usenet-news.net>
NNTP-Posting-Host: 3498b938.usenet-news.net
X-Trace: 
 DXC=YH:_I=53d>QiNAn73]0aUX^oXGM_6\KVPmX0AG3X_jU_<^JMhOhjP4^VjKk:Lk^BNQcR12TN^Bg7^CKIHCW3N^VTOiaDcmXlf@U
X-Complaints-To: abuse@usenet-news.net
Xref: g2news2.google.com comp.lang.ada:18138
Date: 2011-02-09T16:40:52-05:00
List-Id: <comp.lang.ada>

On 2/9/2011 4:23 PM, Shark8 wrote:
> Almost: prove it returns.

Sure. The function "random()" uses the h'Thunk pseudo-random
number subscription service. The manufacturer guarantees that
the stream of numbers returned is a permutation of the possible
positive values of type long. The Ada version available to
translated versions additionally guarantees to raise an exception
if it is called again after all possible values have been returned.