Stacks_05              specification is in ..\..\adt_tagged_type\05\stacks_05.ads
Stacks_05.Monitored_05 specification is in stacks_05_monitored_05.ads
Stacks_05.Monitored_05 body          is in stacks_05_monitored_05.adb
