TYPE_HIPROC       319 src/gdb-jit.cc TYPE_HIPROC = 0x7fffffff,
TYPE_HIPROC       757 src/gdb-jit.cc TYPE_HIPROC = 15