gnatsweb says there are 1500 bugs and the highest bug number is 1501. A little searching shows that bug #1455 disappeared. http://sources.redhat.com/gdb/bugs/1455 The e-mail archive record of the PR is here: http://sources.redhat.com/ml/gdb-prs/2003-q4/msg00121.html Michael C