0x7f4f75523e07:	mov    %rdx,0x30(%rsp)
0x7f4f75523e0c:	mov    0x88(%rsp),%rdx
0x7f4f75523e14:	mov    %rax,0x38(%rsp)
0x7f4f75523e19:	mov    %rcx,0x28(%rsp)
0x7f4f75523e1e:	xchg   %ax,%ax
0x7f4f75523e20:	mov    (%r14),%rax
0x7f4f75523e23:	and    $0x2,%ebx
0x7f4f75523e26:	mov    %rdx,0xc0(%rsp)
0x7f4f75523e2e:	mov    %rdx,%rbp
0x7f4f75523e31:	mov    %ebx,0xac(%rsp)
0x7f4f75523e38:	mov    $0x4,%r12d
0x7f4f75523e3e:	mov    %rax,0x80(%rsp)
0x7f4f75523e46:	mov    %rax,0xb8(%rsp)
0x7f4f75523e4e:	mov    %rax,%rdx
0x7f4f75523e51:	cmp    %rdx,%r13
0x7f4f75523e54:	je     0x7f4f75523ea5