Need a Wild Library Unit Elaboration Example

[csampson@inetworld.net (Charles H. Sampson)]

     I'm preparing a talk on elaboration with the ultimate 
goal being an understanding of the problems you can get 
into with library unit elaboration when you make calls 
between packages.  Most of the emphasis is on the common 
stuff: The package's elaboration code or an object's 
initialization using a subprogram from another package.
 
     I like to end the talk with three examples that I 
characterize as pathological; cross-package dependencies 
you likely wouldn't think of on your first encounter with 
the subject.  Unfortunately for me, one of my examples has 
been obsoleted by pragma Elaborate_Body.  I think three 
examples is just the right number, so I'm asking for your 
favorite examples of cross-package dependencies to fill 
out my list again.
 
     Just to avoid duplication, my two remaining examples 
are elaboration code that calls a protected object entry 
whose barrier condition uses a function from another 
package and elaboration code that calls a task entry that 
has a call to a subprogram from another package in its 
rendezvous.  (I'm not promoting this as good coding 
practice, mind you.  I'm just trying to illustrate how 
hairy things can get, theoretically.)  Also, as part of 
the non-pathological stuff, I've covered the elaboration 
of a statically allocated task's declarative part as part 
of the elaboration of a containing package.

               Charlie