// File: /workspace/github_c_makefile_star2_O3/skeeto[P]flappy/sqlite3.c
// Function: sqlite3_load_extension
SQLITE_API int sqlite3_load_extension(
  sqlite3 *db,          /* Load the extension into this database connection */
  const char *zFile,    /* Name of the shared library containing extension */
  const char *zProc,    /* Entry point.  Use "sqlite3_extension_init" if 0 */
  char **pzErrMsg       /* Put error message here if not 0 */
){
  int rc;
  sqlite3_mutex_enter(db->mutex);
  rc = sqlite3LoadExtension(db, zFile, zProc, pzErrMsg);
  rc = sqlite3ApiExit(db, rc);
  sqlite3_mutex_leave(db->mutex);
  return rc;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %rbp
movq %rdx, %r13
movq %rsi, %r12
movq %rdi, %rbx
movq 0x18(%rdi), %rdi
testq %rdi, %rdi
je 0x1346a
callq *0x76eae(%rip)          # 0x8a318
movq (%rbx), %r14
movq $0x0, 0x20(%rsp)
testq %r12, %r12
je 0x13499
movl $0xffffffff, %r15d      # imm = 0xFFFFFFFF
movq %r12, %rax
incl %r15d
cmpb $0x0, (%rax)
leaq 0x1(%rax), %rax
jne 0x13484
andl $0x3fffffff, %r15d      # imm = 0x3FFFFFFF
jmp 0x1349c
xorl %r15d, %r15d
testq %rbp, %rbp
movq %rbp, 0x8(%rsp)
je 0x134cf
movq $0x0, (%rbp)
testb $0x40, 0x2e(%rbx)
jne 0x134de
leaq 0x5f4a3(%rip), %rdi     # 0x7295e
xorl %eax, %eax
callq 0xb902
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
jmp 0x1381e
movl $0x1, %ebp
testb $0x40, 0x2e(%rbx)
je 0x13823
leal 0x12c(%r15), %eax
movl %eax, 0x1c(%rsp)
testq %r13, %r13
leaq 0x5f47a(%rip), %rbp     # 0x7296d
cmovneq %r13, %rbp
movq %r14, %rdi
movq %r12, %rsi
callq *0x48(%r14)
testq %rax, %rax
movq %r14, (%rsp)
je 0x135d7
movq %r14, %rdi
movq %rax, 0x10(%rsp)
movq %rax, %rsi
movq %rbp, %rdx
callq *0x58(%r14)
xorl %r14d, %r14d
orq %rax, %r13
jne 0x13567
testq %r12, %r12
je 0x13549
movl $0xffffffff, %r14d      # imm = 0xFFFFFFFF
movq %r12, %rax
incl %r14d
cmpb $0x0, (%rax)
leaq 0x1(%rax), %rax
jne 0x13536
andl $0x3fffffff, %r14d      # imm = 0x3FFFFFFF
callq 0x9c60
testl %eax, %eax
je 0x13662
movq (%rsp), %rdi
movq 0x10(%rsp), %rsi
callq *0x60(%rdi)
jmp 0x13728
movq %rax, %r15
xorl %r13d, %r13d
movq (%rsp), %r14
testq %r15, %r15
je 0x13629
movq %r13, %rdi
callq 0xa4bf
leaq 0x7591f(%rip), %rdx     # 0x88ea8
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq *%r15
testl %eax, %eax
je 0x136a7
movq 0x8(%rsp), %r15
testq %r15, %r15
je 0x135bc
movq 0x20(%rsp), %rsi
leaq 0x5f424(%rip), %rdi     # 0x729d6
xorl %eax, %eax
callq 0xb902
movq %rax, (%r15)
movq 0x20(%rsp), %rdi
callq 0xa4bf
movq %r14, %rdi
movq 0x10(%rsp), %rsi
callq *0x60(%r14)
jmp 0x1381e
leaq 0x5f2a7(%rip), %rdi     # 0x72885
leaq 0x5f376(%rip), %rdx     # 0x7295b
movq %r12, %rsi
xorl %eax, %eax
callq 0xb902
testq %rax, %rax
je 0x13728
movq %rax, %r14
movq (%rsp), %rdi
movq %rax, %rsi
callq *0x48(%rdi)
movq %rax, 0x10(%rsp)
movq %r14, %rdi
callq 0xa4bf
movq 0x10(%rsp), %rax
testq %rax, %rax
je 0x13732
movq (%rsp), %r14
jmp 0x1350e
cmpq $0x0, 0x8(%rsp)
je 0x1380a
xorl %r15d, %r15d
cmpb $0x0, (%rbp,%r15)
leaq 0x1(%r15), %r15
jne 0x13638
callq 0x9c60
testl %eax, %eax
je 0x137b4
movq 0x8(%rsp), %rax
movq $0x0, (%rax)
jmp 0x1380a
leal 0x1e(%r14), %edi
callq 0xa44e
testq %rax, %rax
je 0x13556
movq %rax, %r13
movabsq $0x5f336574696c7173, %rax # imm = 0x5F336574696C7173
movq %rax, (%r13)
movl %r14d, %eax
testq %rax, %rax
jle 0x13761
leaq -0x1(%rax), %rcx
cmpb $0x2f, -0x1(%r12,%rax)
movq %rcx, %rax
jne 0x13688
incl %ecx
jmp 0x13763
movl 0xac(%rbx), %eax
leal 0x8(,%rax,8), %ebp
movq %rbx, %rdi
movl %ebp, %esi
callq 0x11c9d
testq %rax, %rax
je 0x13728
movq %rax, %r14
movslq %ebp, %rdx
xorl %ebp, %ebp
movq %rax, %rdi
xorl %esi, %esi
callq 0x7180
movslq 0xac(%rbx), %rdx
testq %rdx, %rdx
jle 0x136f4
movq 0xb0(%rbx), %rsi
shlq $0x3, %rdx
movq %r14, %rdi
callq 0x7230
movq 0xb0(%rbx), %rsi
movq %rbx, %rdi
callq 0x9b42
movq %r14, 0xb0(%rbx)
movslq 0xac(%rbx), %rax
leal 0x1(%rax), %ecx
movl %ecx, 0xac(%rbx)
movq 0x10(%rsp), %rcx
movq %rcx, (%r14,%rax,8)
jmp 0x13823
movl $0x7, %ebp
jmp 0x13823
movl $0x1, %ebp
cmpq $0x0, 0x8(%rsp)
je 0x13823
callq 0x9c60
testl %eax, %eax
je 0x138d7
movq 0x8(%rsp), %rax
movq $0x0, (%rax)
jmp 0x13823
xorl %ecx, %ecx
movl %ecx, %edx
addq %r12, %rdx
xorl %esi, %esi
leaq 0x5ac5f(%rip), %rax     # 0x6e3d0
leaq 0x5f22f(%rip), %rdi     # 0x729a7
movq (%rsp), %r14
movzbl (%rdx,%rsi), %r8d
testq %r8, %r8
je 0x1384f
movzbl (%r8,%rax), %r8d
movzbl (%rsi,%rdi), %r9d
movb (%r9,%rax), %r9b
cmpb %r9b, %r8b
jne 0x1385a
incq %rsi
cmpq $0x3, %rsi
jne 0x1377c
addl $0x3, %ecx
movl %ecx, %edx
jmp 0x13867
decl %r15d
andl $0x3fffffff, %r15d      # imm = 0x3FFFFFFF
addl 0x1c(%rsp), %r15d
movl %r15d, %edi
callq 0xa44e
movq %rax, %rcx
movq 0x8(%rsp), %rax
movq %rcx, (%rax)
testq %rcx, %rcx
je 0x1380a
leaq 0x5f1c9(%rip), %rdx     # 0x729ab
movl %r15d, %edi
movq %rcx, (%rsp)
movq %rcx, %rsi
movq %rbp, %rcx
movq %r12, %r8
xorl %eax, %eax
callq 0xb9ed
decl %r15d
movq %r14, %rdi
movl %r15d, %esi
movq (%rsp), %rdx
callq *0x50(%r14)
movq %r14, %rdi
movq 0x10(%rsp), %rsi
callq *0x60(%r14)
movq %r13, %rdi
callq 0xa4bf
movl $0x1, %ebp
movq %rbx, %rdi
movl %ebp, %esi
callq 0xef8a
movl %eax, %ebp
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x1383e
callq *0x76aea(%rip)          # 0x8a328
movl %ebp, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movzbl (%rsi,%rdi), %edx
movb (%rdx,%rax), %r9b
xorl %r8d, %r8d
movzbl %r9b, %esi
leal 0x3(%rcx), %edx
cmpl %esi, %r8d
cmovnel %ecx, %edx
movslq %edx, %rcx
addq %r12, %rcx
movl $0x8, %edx
leaq 0x5aa57(%rip), %rsi     # 0x6e2d0
movzbl (%rcx), %edi
testl %edi, %edi
je 0x138a9
cmpl $0x2e, %edi
je 0x138a9
movzbl %dil, %r8d
testb $0x2, (%r8,%rsi)
je 0x138a4
movsbq %dil, %rdi
movl %edi, %edi
movb (%rdi,%rax), %dil
movslq %edx, %r8
incl %edx
movb %dil, (%r13,%r8)
incq %rcx
jmp 0x13879
movslq %edx, %rax
movw $0x74, 0x4(%r13,%rax)
movl $0x696e695f, (%r13,%rax) # imm = 0x696E695F
movq %r14, %rdi
movq 0x10(%rsp), %rsi
movq %r13, %rdx
callq *0x58(%r14)
movq %rax, %r15
movq %r13, %rbp
jmp 0x13571
movl 0x1c(%rsp), %r14d
movl %r14d, %edi
callq 0xa44e
movq %rax, %r13
movq 0x8(%rsp), %rax
movq %r13, (%rax)
testq %r13, %r13
je 0x13823
leaq 0x5f085(%rip), %rdx     # 0x72984
movl %r14d, %edi
movq %r13, %rsi
movq %r12, %rcx
xorl %eax, %eax
callq 0xb9ed
addl $0x12b, %r15d           # imm = 0x12B
movq (%rsp), %rdi
movl %r15d, %esi
movq %r13, %rdx
callq *0x50(%rdi)
jmp 0x13823