Segfault happened at: 0x7f36299d42e0 <psf_binheader_readf+944>:	callq  0x7f36299d2f40 <header_read>
PC (0x7f36299d42e0) ok
source "0x7f36299d2f40" (0x7f36299d2f40) ok
destination "(%rsp)" (0x7ffefc145450) ok
SP (0x7ffefc145450) ok
Reason could not be automatically determined.