Here are some GNAT PRs that I filed that are fixed now: 8017: has been bootstrapping since early January. 6007: This has been fixed. 4313: This has been fixed. 4121: This has been fixed. 2001: This has been fixed in 3.4; perhaps if this patch http://gcc.gnu.org/ml/gcc-patches/2003-02/msg01502.html is backported to 3.3 and 3.2 it will be fixed there. 732: This has been fixed. Brad