<<(There *is* a reason why it would be desirable - to be able to verify that GNAT-compiled-by-GNAT and GNAT-compiled-by-different-Ada generate the same code for the same input. People do do this with the C compiler occasionally.) >> Yes, that would be a nice test to do.