// File: biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: trivial_clause
static int
trivial_clause (PS * ps)
{
  Lit **p, **q, *prev;
  Var *v;

  SORT (Lit *, cmp_ptr, ps->added,  ps->ahead - ps->added);

  prev = 0;
  q = ps->added;
  for (p = q; p < ps->ahead; p++)
    {
      Lit *this = *p;

      v = LIT2VAR (this);

      if (prev == this)		/* skip repeated literals */
	continue;

      /* Top level satisfied ? 
       */
      if (this->val == TRUE && !v->level)
	 return 1;

      if (prev == NOTLIT (this))/* found pair of dual literals */
	return 1;

      *q++ = prev = this;
    }

  ps->ahead = q;			/* shrink */

  return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x120, %rsp            # imm = 0x120
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x258(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x10(%rbp), %rax
movq 0x260(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x258(%rcx), %rcx
subq %rcx, %rax
sarq $0x3, %rax
movl %eax, -0x3c(%rbp)
movl $0x0, -0x40(%rbp)
movl -0x3c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x44(%rbp)
movq -0x10(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jne 0x186a8
jmp 0x186c7
leaq 0x5e09(%rip), %rdi      # 0x1e4b8
leaq 0x4bee(%rip), %rsi      # 0x1d2a4
movl $0xa05, %edx            # imm = 0xA05
leaq 0x6ca5(%rip), %rcx      # 0x1f367
callq 0x10b0
movl -0x44(%rbp), %eax
subl -0x40(%rbp), %eax
cmpl $0xa, %eax
jg 0x186d7
jmp 0x18db2
jmp 0x186d9
movl -0x40(%rbp), %eax
addl -0x44(%rbp), %eax
movl $0x2, %ecx
cltd
idivl %ecx
movl %eax, -0x48(%rbp)
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rax
movq %rax, -0x60(%rbp)
movq -0x38(%rbp), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
movq -0x60(%rbp), %rdx
movq -0x38(%rbp), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x18726
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rax
movslq -0x40(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
callq 0x12ab0
cmpl $0x0, %eax
jle 0x1878b
jmp 0x1874f
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rax
movq %rax, -0x68(%rbp)
movq -0x38(%rbp), %rax
movslq -0x40(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
movq -0x68(%rbp), %rdx
movq -0x38(%rbp), %rax
movslq -0x40(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x1878b
jmp 0x1878d
jmp 0x1878f
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rax
movslq -0x40(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12ab0
cmpl $0x0, %eax
jle 0x187f1
jmp 0x187b7
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x70(%rbp)
movq -0x38(%rbp), %rax
movslq -0x40(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x70(%rbp), %rdx
movq -0x38(%rbp), %rax
movslq -0x40(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x187f1
jmp 0x187f3
jmp 0x187f5
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rsi
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12ab0
cmpl $0x0, %eax
jle 0x1885a
jmp 0x1881e
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x78(%rbp)
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x78(%rbp), %rdx
movq -0x38(%rbp), %rax
movslq -0x44(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
jmp 0x1885a
jmp 0x1885c
jmp 0x1885e
movl -0x40(%rbp), %eax
addl $0x1, %eax
subl $0x1, %eax
movl %eax, -0x54(%rbp)
movl -0x44(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x84(%rbp)
movq -0x38(%rbp), %rax
movslq -0x84(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x80(%rbp)
jmp 0x1888b
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rax
movl -0x54(%rbp), %ecx
addl $0x1, %ecx
movl %ecx, -0x54(%rbp)
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rsi
movq -0x80(%rbp), %rdx
callq 0x12ab0
cmpl $0x0, %eax
jge 0x188b3
jmp 0x1888b
jmp 0x188b5
movq -0x10(%rbp), %rdi
movq -0x80(%rbp), %rsi
movq -0x38(%rbp), %rax
movl -0x84(%rbp), %ecx
addl $-0x1, %ecx
movl %ecx, -0x84(%rbp)
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12ab0
cmpl $0x0, %eax
jge 0x188f5
movl -0x84(%rbp), %eax
movl -0x40(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jne 0x188f3
jmp 0x188f5
jmp 0x188b5
movl -0x54(%rbp), %eax
cmpl -0x84(%rbp), %eax
jl 0x18902
jmp 0x1894d
jmp 0x18904
movq -0x38(%rbp), %rax
movslq -0x84(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x90(%rbp)
movq -0x38(%rbp), %rax
movslq -0x54(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x38(%rbp), %rax
movslq -0x84(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x90(%rbp), %rdx
movq -0x38(%rbp), %rax
movslq -0x54(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x18889
jmp 0x1894f
movq -0x38(%rbp), %rax
movl -0x44(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x98(%rbp)
movq -0x38(%rbp), %rax
movslq -0x54(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x38(%rbp), %rax
movl -0x44(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x98(%rbp), %rdx
movq -0x38(%rbp), %rax
movslq -0x54(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x18999
movl -0x54(%rbp), %eax
subl -0x40(%rbp), %eax
movl -0x44(%rbp), %ecx
subl -0x54(%rbp), %ecx
cmpl %ecx, %eax
jge 0x189c3
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4c(%rbp)
movl -0x44(%rbp), %eax
movl %eax, -0x50(%rbp)
movl -0x54(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x44(%rbp)
jmp 0x189db
movl -0x40(%rbp), %eax
movl %eax, -0x4c(%rbp)
movl -0x54(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x50(%rbp)
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
movl -0x44(%rbp), %eax
subl -0x40(%rbp), %eax
cmpl $0xa, %eax
jle 0x18d34
movl -0x50(%rbp), %eax
subl -0x4c(%rbp), %eax
cmpl $0xa, %eax
jle 0x189f7
jmp 0x18a16
leaq 0x5ad3(%rip), %rdi      # 0x1e4d1
leaq 0x489f(%rip), %rsi      # 0x1d2a4
movl $0xa05, %edx            # imm = 0xA05
leaq 0x6956(%rip), %rcx      # 0x1f367
callq 0x10b0
movq -0x10(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x480(%rcx), %rax
jne 0x18b86
jmp 0x18a34
movq -0x10(%rbp), %rax
movq 0x480(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x9c(%rbp)
cmpl $0x0, -0x9c(%rbp)
je 0x18a70
movl -0x9c(%rbp), %eax
shll %eax
movl %eax, -0x11c(%rbp)
jmp 0x18a7d
movl $0x1, %eax
movl %eax, -0x11c(%rbp)
jmp 0x18a7d
movl -0x11c(%rbp), %eax
movl %eax, %eax
movq %rax, -0xa8(%rbp)
movq -0x10(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0xac(%rbp)
movq -0x10(%rbp), %rax
movq 0x470(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x480(%rcx), %rax
ja 0x18ac9
jmp 0x18ae8
leaq 0x5a20(%rip), %rdi      # 0x1e4f0
leaq 0x47cd(%rip), %rsi      # 0x1d2a4
movl $0xa05, %edx            # imm = 0xA05
leaq 0x6884(%rip), %rcx      # 0x1f367
callq 0x10b0
jmp 0x18aea
movl -0x9c(%rbp), %eax
shlq $0x2, %rax
movq %rax, -0xb8(%rbp)
movq -0xa8(%rbp), %rax
shlq $0x2, %rax
movq %rax, -0xc0(%rbp)
movq -0x10(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x470(%rax), %rsi
movq -0xb8(%rbp), %rdx
movq -0xc0(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x10(%rbp), %rax
movq 0x470(%rax), %rcx
movl -0xac(%rbp), %eax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x10(%rbp), %rax
movq 0x470(%rax), %rcx
movq -0xa8(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x480(%rax)
jmp 0x18b86
movl -0x4c(%rbp), %ecx
movq -0x10(%rbp), %rdx
movq 0x478(%rdx), %rax
movq %rax, %rsi
addq $0x4, %rsi
movq %rsi, 0x478(%rdx)
movl %ecx, (%rax)
movq -0x10(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x480(%rcx), %rax
jne 0x18d14
jmp 0x18bc2
movq -0x10(%rbp), %rax
movq 0x480(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0xc4(%rbp)
cmpl $0x0, -0xc4(%rbp)
je 0x18bfe
movl -0xc4(%rbp), %eax
shll %eax
movl %eax, -0x120(%rbp)
jmp 0x18c0b
movl $0x1, %eax
movl %eax, -0x120(%rbp)
jmp 0x18c0b
movl -0x120(%rbp), %eax
movl %eax, %eax
movq %rax, -0xd0(%rbp)
movq -0x10(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0xd4(%rbp)
movq -0x10(%rbp), %rax
movq 0x470(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x480(%rcx), %rax
ja 0x18c57
jmp 0x18c76
leaq 0x5892(%rip), %rdi      # 0x1e4f0
leaq 0x463f(%rip), %rsi      # 0x1d2a4
movl $0xa05, %edx            # imm = 0xA05
leaq 0x66f6(%rip), %rcx      # 0x1f367
callq 0x10b0
jmp 0x18c78
movl -0xc4(%rbp), %eax
shlq $0x2, %rax
movq %rax, -0xe0(%rbp)
movq -0xd0(%rbp), %rax
shlq $0x2, %rax
movq %rax, -0xe8(%rbp)
movq -0x10(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x470(%rax), %rsi
movq -0xe0(%rbp), %rdx
movq -0xe8(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x10(%rbp), %rax
movq 0x470(%rax), %rcx
movl -0xd4(%rbp), %eax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x10(%rbp), %rax
movq 0x470(%rax), %rcx
movq -0xd0(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x480(%rax)
jmp 0x18d14
movl -0x50(%rbp), %ecx
movq -0x10(%rbp), %rdx
movq 0x478(%rdx), %rax
movq %rax, %rsi
addq $0x4, %rsi
movq %rsi, 0x478(%rdx)
movl %ecx, (%rax)
jmp 0x18dab
movl -0x50(%rbp), %eax
subl -0x4c(%rbp), %eax
cmpl $0xa, %eax
jle 0x18d4d
movl -0x4c(%rbp), %eax
movl %eax, -0x40(%rbp)
movl -0x50(%rbp), %eax
movl %eax, -0x44(%rbp)
jmp 0x18da9
movq -0x10(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jbe 0x18da5
movq -0x10(%rbp), %rcx
movq 0x478(%rcx), %rax
movq %rax, %rdx
addq $-0x4, %rdx
movq %rdx, 0x478(%rcx)
movl -0x4(%rax), %eax
movl %eax, -0x44(%rbp)
movq -0x10(%rbp), %rcx
movq 0x478(%rcx), %rax
movq %rax, %rdx
addq $-0x4, %rdx
movq %rdx, 0x478(%rcx)
movl -0x4(%rax), %eax
movl %eax, -0x40(%rbp)
jmp 0x18da7
jmp 0x18db0
jmp 0x18da9
jmp 0x18dab
jmp 0x186d9
jmp 0x18db2
jmp 0x18db4
movl $0x0, -0xf4(%rbp)
movl -0x3c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0xf8(%rbp)
movl -0xf8(%rbp), %eax
movl %eax, -0xfc(%rbp)
movl -0xfc(%rbp), %eax
cmpl -0xf4(%rbp), %eax
jle 0x18e7f
jmp 0x18dea
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rax
movslq -0xfc(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rsi
movq -0x38(%rbp), %rax
movslq -0xfc(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12ab0
cmpl $0x0, %eax
jle 0x18e67
jmp 0x18e19
movq -0x38(%rbp), %rax
movslq -0xfc(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x108(%rbp)
movq -0x38(%rbp), %rax
movslq -0xfc(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
movq -0x38(%rbp), %rax
movslq -0xfc(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x108(%rbp), %rdx
movq -0x38(%rbp), %rax
movslq -0xfc(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
jmp 0x18e67
jmp 0x18e69
jmp 0x18e6b
movl -0xfc(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0xfc(%rbp)
jmp 0x18dd6
movl -0xf4(%rbp), %eax
addl $0x2, %eax
movl %eax, -0xfc(%rbp)
movl -0xfc(%rbp), %eax
cmpl -0xf8(%rbp), %eax
jg 0x18f49
movl -0xfc(%rbp), %eax
movl %eax, -0x100(%rbp)
movq -0x38(%rbp), %rax
movslq -0xfc(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xf0(%rbp)
movq -0x10(%rbp), %rdi
movq -0xf0(%rbp), %rsi
movq -0x38(%rbp), %rax
movl -0x100(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12ab0
cmpl $0x0, %eax
jge 0x18f1f
movq -0x38(%rbp), %rax
movl -0x100(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
movq -0x38(%rbp), %rax
movslq -0x100(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x100(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x100(%rbp)
jmp 0x18ec2
movq -0xf0(%rbp), %rdx
movq -0x38(%rbp), %rax
movslq -0x100(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0xfc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xfc(%rbp)
jmp 0x18e8e
jmp 0x18f4b
movq -0x10(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jne 0x18f65
jmp 0x18f84
leaq 0x554c(%rip), %rdi      # 0x1e4b8
leaq 0x4331(%rip), %rsi      # 0x1d2a4
movl $0xa05, %edx            # imm = 0xA05
leaq 0x63e8(%rip), %rcx      # 0x1f367
callq 0x10b0
jmp 0x18f86
movl $0x0, -0x10c(%rbp)
movl -0x10c(%rbp), %eax
movl -0x3c(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0x19005
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rax
movslq -0x10c(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x38(%rbp), %rax
movl -0x10c(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12ab0
cmpl $0x0, %eax
jg 0x18fd3
jmp 0x18ff2
leaq 0x63a6(%rip), %rdi      # 0x1f380
leaq 0x42c3(%rip), %rsi      # 0x1d2a4
movl $0xa05, %edx            # imm = 0xA05
leaq 0x637a(%rip), %rcx      # 0x1f367
callq 0x10b0
jmp 0x18ff4
movl -0x10c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10c(%rbp)
jmp 0x18f90
jmp 0x19007
jmp 0x19009
movq $0x0, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq 0x258(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rcx
cmpq 0x260(%rcx), %rax
jae 0x19106
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x118(%rbp)
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movq -0x118(%rbp), %rcx
movq -0x10(%rbp), %rdx
movq 0x38(%rdx), %rdx
subq %rdx, %rcx
shrl %ecx
movl %ecx, %ecx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rax
cmpq -0x118(%rbp), %rax
jne 0x19083
jmp 0x190f5
movq -0x118(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x1, %eax
jne 0x190a5
movq -0x30(%rbp), %rax
cmpl $0x0, 0x4(%rax)
jne 0x190a5
movl $0x1, -0x4(%rbp)
jmp 0x1911c
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x38(%rcx), %rcx
movq -0x118(%rbp), %rdx
movq -0x10(%rbp), %rsi
movq 0x38(%rsi), %rsi
subq %rsi, %rdx
xorq $0x1, %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
jne 0x190d8
movl $0x1, -0x4(%rbp)
jmp 0x1911c
movq -0x118(%rbp), %rcx
movq %rcx, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, -0x20(%rbp)
movq %rcx, (%rax)
movq -0x18(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x18(%rbp)
jmp 0x19028
movq -0x20(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x260(%rax)
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x120, %rsp            # imm = 0x120
popq %rbp
retq
nopl (%rax,%rax)