Currently on crash we display the signal and thread info as: SIGSEGV (0xb) at pc=0x00007fc2e3689320, pid=11605, tid=140475482081024 It would be much more useful if the thread id was displayed as hex - the decimal version could be displayed next to it inside a braces (if useful), or the other way around.