Segfault happened at: 0x7f4f63663dd2:	testb  $0x4,(%rbx)
PC (0x7f4f63663dd2) ok
source "$0x4" ok
destination "(%rbx)" (0x80000000) not located in a known VMA region (needed writable region)!