1 2 Known problems in GDB 7.2 3 4 See also: http://www.gnu.org/software/gdb/bugs/ 5 6None worth mentioning here. 7