Re: D.10

[Steve Quinlan <steven.quinlan@nospam.lmco.com>]

In the Annotated ARM, there is a discussion item after D.10.6 which seems to
make clear (is that an oxymoron?) that it was not intended to be used this
way:

 " This object is assumed to be private toe the declaring task, i.e. only
that task will call Suspend_Until_True on this object, and the count of
callers is at most 1. Other tasks can, of course, change and query the state
of this object."