rax            0x175c300	24494848
rbx            0x176dd20	24567072
rcx            0x0	0
rdx            0x20	32
rsi            0x5a	90
rdi            0x176dd20	24567072
rbp            0x5a	0x5a
rsp            0x7fff10c79e30	0x7fff10c79e30
r8             0xfffffffffe8b8c50	-24409008
r9             0x19	25
r10            0x1	1
r11            0x2	2
r12            0x169cc00	23710720
r13            0x1675a20	23550496
r14            0x16783e0	23561184
r15            0x7fff10c7a0c0	140733474906304
rip            0x7f1c79a07cfd	0x7f1c79a07cfd <e_contact_set+45>
eflags         0x10202	[ IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0
fctrl          0x37f	895
fstat          0x20	32
ftag           0xffff	65535
fiseg          0x0	0
fioff          0x0	0
foseg          0x0	0
fooff          0x0	0
fop            0x0	0
mxcsr          0x1fa2	[ DE PE IM DM ZM OM UM PM ]