------- Additional Comments From charlet at gcc dot gnu dot org 2004-06-22 12:50 ------- Any volunteer to e.g. write a script to extract the names ? Arno -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15977