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,b9c1962801ad6b73,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-21 23:42:34 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newsfeed.icl.net!newsfeed.fjserv.net!nntp.theplanet.net!inewsm1.nntp.theplanet.net!zen.net.uk!news.cabal.org.uk!news-peer.gradwell.net!not-for-mail
Newsgroups: comp.lang.ada
From: porton@ex-code.com (Victor Porton)
Date: Wed, 22 Jan 2003 12:33:45 +0500
Organization: Extreme Code Software (http://ex-code.com)
Subject: Fussy Standard: what is modulo Address?
Mime-Version: 1.0
X-Newsreader: knews 1.0b.1
Content-Type: text/plain; charset=us-ascii
X-URL: http://www.ex-code.com/
Message-ID: <3e2e4b6a$0$33929$bed64819@news.gradwell.net>
NNTP-Posting-Date: 22 Jan 2003 07:42:34 GMT
NNTP-Posting-Host: 195.149.39.13
X-Trace: 1043221354 news.gradwell.net 33929 mail2news/195.149.39.13
X-Complaints-To: news-abuse@gradwell.net
Xref: archiver1.google.com comp.lang.ada:33334
Date: 2003-01-22T07:42:34+00:00
List-Id: <comp.lang.ada>

13.3.22-23. "For a prefix X that denotes a subtype or object:
X'Alignment... Address modulo the Alignment".

The Standard seems to not explain what is "Address modulo".

It can be:

1. The integer mathematical operation fpr 
System.Storage_Element.Integer_Address.

2. Operation "mod" for System.Address, defined also in System.

Moreover the Standard probably does not say anything about relations of 
these two operations (they should be the same as people seem to tend to 
naturally consider these the same).

We should correct it, yes?