Add article on using gdb with CATCH