I felt that I need to clarify somethings about my previous post. I have the Stanford Anna stuff, dated about 1992 that was constructed to work with SunAda. I'm in the process of setting up some resources for one of my graduate classes for next year, in which I plan to use Anna. I guess what I want to know is if anyone has done anything with Anna vis-a-vis Ada 95 and/or gnat. I plan this weekend to try and set everything up to run it through gnat and I was wondering if I am plowing old ground that someone has plowed before. I also plan to use it next year in my CS 2 and CS 7 classes as an assertion tesing resource. Jack Beidler