// File: eryxcc[P]lois/src/extra.cpp
// Function: lois::declareatom::declareatom(lois::Domain*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
declareatom::declareatom(Domain *d, const std::string& s) {
  vptr v = newvar(d, s);
  at = term(v);
  if(!enable(varlist({v}), ftrue)) 
    throw unsatisfiable_exception();
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x130, %rsp            # imm = 0x130
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0xb8(%rbp)
callq 0x51190
movq -0xb8(%rbp), %rdi
leaq 0x3b5db(%rip), %rax     # 0xc0420
movq %rax, (%rdi)
addq $0x18, %rdi
movq %rdi, -0xb0(%rbp)
callq 0x57b50
jmp 0x84e5a
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x38(%rbp), %rdi
callq 0x85190
jmp 0x84e6d
leaq -0x58(%rbp), %rdi
movq %rdi, -0xc0(%rbp)
leaq -0x38(%rbp), %rsi
callq 0x1ee00
movq -0xc0(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0x56720
jmp 0x84e93
movq -0xb8(%rbp), %rdi
addq $0x18, %rdi
leaq -0x48(%rbp), %rsi
movq %rsi, -0xd8(%rbp)
callq 0x2f520
movq -0xd8(%rbp), %rdi
callq 0x129b0
leaq -0x58(%rbp), %rdi
callq 0x155e0
leaq -0x90(%rbp), %rdi
movq %rdi, -0xd0(%rbp)
leaq -0x38(%rbp), %rsi
callq 0x15f80
movq -0xd0(%rbp), %rax
movq %rax, -0x80(%rbp)
movq $0x1, -0x78(%rbp)
leaq -0x91(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
callq 0x1ac10
movq -0xc8(%rbp), %rcx
movq -0x80(%rbp), %rsi
movq -0x78(%rbp), %rdx
leaq -0x70(%rbp), %rdi
callq 0x85350
jmp 0x84f1a
leaq 0x3d45f(%rip), %rsi     # 0xc2380
leaq -0xa8(%rbp), %rdi
movq %rdi, -0xe8(%rbp)
callq 0x14c90
movq -0xb8(%rbp), %rdi
movq -0xe8(%rbp), %rdx
leaq -0x70(%rbp), %rsi
callq 0x851d0
movb %al, -0xd9(%rbp)
jmp 0x84f53
movb -0xd9(%rbp), %al
xorb $-0x1, %al
movb %al, -0xf9(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x12290
leaq -0x70(%rbp), %rdi
callq 0x1a940
leaq -0x91(%rbp), %rdi
callq 0x1bf10
leaq -0x90(%rbp), %rax
movq %rax, -0xf8(%rbp)
addq $0x10, %rax
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x108(%rbp)
callq 0x120c0
movq -0xf8(%rbp), %rcx
movq -0x108(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xf0(%rbp)
jne 0x84f9b
movb -0xf9(%rbp), %al
testb $0x1, %al
jne 0x84fdb
jmp 0x850eb
movl $0x8, %edi
callq 0x8160
movq %rax, %rdi
movq %rdi, -0x110(%rbp)
movq $0x0, (%rdi)
callq 0x85130
movq -0x110(%rbp), %rdi
leaq 0x3cd37(%rip), %rsi     # 0xc1d40
leaq 0x160(%rip), %rdx       # 0x85170
callq 0x84a0
jmp 0x85127
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x85112
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x85106
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x155e0
jmp 0x850fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x85085
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x12290
leaq -0x70(%rbp), %rdi
callq 0x1a940
leaq -0x91(%rbp), %rdi
callq 0x1bf10
leaq -0x90(%rbp), %rax
movq %rax, -0x120(%rbp)
addq $0x10, %rax
movq %rax, -0x118(%rbp)
movq -0x118(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x128(%rbp)
callq 0x120c0
movq -0x120(%rbp), %rcx
movq -0x128(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x118(%rbp)
jne 0x850aa
jmp 0x850fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x850fd
leaq -0x38(%rbp), %rdi
callq 0x120c0
addq $0x130, %rsp            # imm = 0x130
popq %rbp
retq
leaq -0x38(%rbp), %rdi
callq 0x120c0
movq -0xb0(%rbp), %rdi
callq 0x129b0
movq -0xb8(%rbp), %rdi
callq 0x151e0
movq -0x20(%rbp), %rdi
callq 0x84c0
nopw (%rax,%rax)