Segfault happened at: 0x7fa5de757b97:	push   %rbx
PC (0x7fa5de757b97) ok
source "%rbx" ok
destination "(%rsp)" (0x7ffff1bc0000) ok
SP (0x7ffff1bc0000) ok
Reason could not be automatically determined.