------- Additional Comments From bkoz at gcc dot gnu dot org 2005-09-09 18:21 -------
Well, maybe we will need init priority. I'm still thinking about that part. Adding it is simple enough if we need it. However, I'd like to check this in just to see what happens with the rest of it. -benjamin -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22309