handle SIG35 noprint nostop
source devtools/gdb_pprint.py
