Just FYI, I'm going through the final steps of having GCC accept the above. This means that GDB doesn't need to bother with the ATTRIBUTE_UNUSED guff :-) Give it a few more weeks before it shows up in GCC though. Andrew