// File: yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_not_invoker()
BOOST_AUTO_TEST_CASE(test_not) {
	BOOST_TEST(
			   not_256("0xffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffff0000000000000000000000000000000000000000");

	BOOST_TEST(
			   not_256("0x0")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x9e0, %rsp            # imm = 0x9E0
movq 0x105c46(%rip), %rax    # 0x140a98
movq %rax, -0x8e0(%rbp)
leaq 0xa1aa7(%rip), %rsi     # 0xdc907
leaq -0x10(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
leaq -0x1b8(%rbp), %rdi
movq %rdi, -0x8d8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x10380
movq -0x8d8(%rbp), %rdi
callq 0x5e920
movq -0x8d8(%rbp), %rdi
callq 0x5e950
movq %rax, -0x8d0(%rbp)
jmp 0x3aea9
movq -0x8d0(%rbp), %rdi
movb $0x22, -0x1c5(%rbp)
leaq -0x1c5(%rbp), %rsi
callq 0x5d170
movq %rax, -0x8e8(%rbp)
jmp 0x3aecc
movq -0x8e8(%rbp), %rdi
leaq 0xa3323(%rip), %rsi     # 0xde1fd
callq 0xaf6f0
movq %rax, -0x8f0(%rbp)
jmp 0x3aee8
movq -0x8f0(%rbp), %rdi
leaq 0xaa9d1(%rip), %rsi     # 0xe58c7
callq 0xaf6c0
movq %rax, -0x8f8(%rbp)
jmp 0x3af04
movq -0x8f8(%rbp), %rdi
callq 0x5e960
movq %rax, -0x900(%rbp)
jmp 0x3af19
movq -0x900(%rbp), %rsi
leaq -0x20(%rbp), %rdi
callq 0x500c0
jmp 0x3af2b
movq -0x8e0(%rbp), %rdi
leaq -0x10(%rbp), %rsi
movl $0x100, %edx            # imm = 0x100
leaq -0x20(%rbp), %rcx
callq 0x29d70
jmp 0x3af46
leaq -0x1b8(%rbp), %rdi
callq 0x5e9b0
movq 0x105b3f(%rip), %rax    # 0x140a98
movq %rax, -0x918(%rbp)
leaq 0xa19a0(%rip), %rsi     # 0xdc907
leaq -0x1d8(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
leaq -0x380(%rbp), %rdi
movq %rdi, -0x910(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x10380
movq -0x910(%rbp), %rdi
callq 0x5e920
movq -0x910(%rbp), %rdi
callq 0x5e950
movq %rax, -0x908(%rbp)
jmp 0x3afb3
movq -0x908(%rbp), %rdi
movb $0x22, -0x381(%rbp)
leaq -0x381(%rbp), %rsi
callq 0x5d170
movq %rax, -0x920(%rbp)
jmp 0x3afd6
movq -0x920(%rbp), %rdi
leaq 0xa3219(%rip), %rsi     # 0xde1fd
callq 0xaf6f0
movq %rax, -0x928(%rbp)
jmp 0x3aff2
movq -0x928(%rbp), %rdi
leaq 0xaa8d6(%rip), %rsi     # 0xe58d6
callq 0xaf720
movq %rax, -0x930(%rbp)
jmp 0x3b00e
movq -0x930(%rbp), %rdi
callq 0x5e960
movq %rax, -0x938(%rbp)
jmp 0x3b023
movq -0x938(%rbp), %rsi
leaq -0x1e8(%rbp), %rdi
callq 0x500c0
jmp 0x3b038
movq -0x918(%rbp), %rdi
leaq -0x1d8(%rbp), %rsi
movl $0x100, %edx            # imm = 0x100
leaq -0x1e8(%rbp), %rcx
callq 0x29d70
jmp 0x3b059
leaq -0x380(%rbp), %rdi
callq 0x5e9b0
leaq -0x1c6(%rbp), %rdi
callq 0xafa50
movq 0x105a20(%rip), %rax    # 0x140a98
movq %rax, -0x950(%rbp)
leaq 0xa1881(%rip), %rsi     # 0xdc907
leaq -0x398(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
leaq -0x540(%rbp), %rdi
movq %rdi, -0x948(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x10380
movq -0x948(%rbp), %rdi
callq 0x5e920
movq -0x948(%rbp), %rdi
callq 0x5e950
movq %rax, -0x940(%rbp)
jmp 0x3b0d2
movq -0x940(%rbp), %rdi
movb $0x22, -0x541(%rbp)
leaq -0x541(%rbp), %rsi
callq 0x5d170
movq %rax, -0x958(%rbp)
jmp 0x3b0f5
movq -0x958(%rbp), %rdi
leaq 0xa30fa(%rip), %rsi     # 0xde1fd
callq 0xaf6f0
movq %rax, -0x960(%rbp)
jmp 0x3b111
movq -0x960(%rbp), %rdi
leaq 0xaa7c7(%rip), %rsi     # 0xe58e6
callq 0xaf770
movq %rax, -0x968(%rbp)
jmp 0x3b12d
movq -0x968(%rbp), %rdi
callq 0x5e960
movq %rax, -0x970(%rbp)
jmp 0x3b142
movq -0x970(%rbp), %rsi
leaq -0x3a8(%rbp), %rdi
callq 0x500c0
jmp 0x3b157
movq -0x950(%rbp), %rdi
leaq -0x398(%rbp), %rsi
movl $0x100, %edx            # imm = 0x100
leaq -0x3a8(%rbp), %rcx
callq 0x29d70
jmp 0x3b178
leaq -0x540(%rbp), %rdi
callq 0x5e9b0
leaq -0x1c6(%rbp), %rdi
callq 0x3b480
movq 0x105901(%rip), %rax    # 0x140a98
movq %rax, -0x988(%rbp)
leaq 0xa1762(%rip), %rsi     # 0xdc907
leaq -0x558(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
leaq -0x700(%rbp), %rdi
movq %rdi, -0x980(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x10380
movq -0x980(%rbp), %rdi
callq 0x5e920
movq -0x980(%rbp), %rdi
callq 0x5e950
movq %rax, -0x978(%rbp)
jmp 0x3b1f1
movq -0x978(%rbp), %rdi
movb $0x22, -0x701(%rbp)
leaq -0x701(%rbp), %rsi
callq 0x5d170
movq %rax, -0x990(%rbp)
jmp 0x3b214
movq -0x990(%rbp), %rdi
leaq 0xa2fdb(%rip), %rsi     # 0xde1fd
callq 0xaf6f0
movq %rax, -0x998(%rbp)
jmp 0x3b230
movq -0x998(%rbp), %rdi
leaq 0xaa6b5(%rip), %rsi     # 0xe58f3
callq 0xaf7a0
movq %rax, -0x9a0(%rbp)
jmp 0x3b24c
movq -0x9a0(%rbp), %rdi
callq 0x5e960
movq %rax, -0x9a8(%rbp)
jmp 0x3b261
movq -0x9a8(%rbp), %rsi
leaq -0x568(%rbp), %rdi
callq 0x500c0
jmp 0x3b276
movq -0x988(%rbp), %rdi
leaq -0x558(%rbp), %rsi
movl $0x100, %edx            # imm = 0x100
leaq -0x568(%rbp), %rcx
callq 0x29d70
jmp 0x3b297
leaq -0x700(%rbp), %rdi
callq 0x5e9b0
leaq -0x1c6(%rbp), %rdi
callq 0xafa70
movq 0x1057e2(%rip), %rax    # 0x140a98
movq %rax, -0x9c0(%rbp)
leaq 0xa1643(%rip), %rsi     # 0xdc907
leaq -0x718(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
leaq -0x8c0(%rbp), %rdi
movq %rdi, -0x9b8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x10380
movq -0x9b8(%rbp), %rdi
callq 0x5e920
movq -0x9b8(%rbp), %rdi
callq 0x5e950
movq %rax, -0x9b0(%rbp)
jmp 0x3b310
movq -0x9b0(%rbp), %rdi
movb $0x22, -0x8c1(%rbp)
leaq -0x8c1(%rbp), %rsi
callq 0x5d170
movq %rax, -0x9c8(%rbp)
jmp 0x3b333
movq -0x9c8(%rbp), %rdi
leaq 0xa2ebc(%rip), %rsi     # 0xde1fd
callq 0xaf6f0
movq %rax, -0x9d0(%rbp)
jmp 0x3b34f
movq -0x9d0(%rbp), %rdi
leaq 0xaa5a9(%rip), %rsi     # 0xe5906
callq 0xaf6c0
movq %rax, -0x9d8(%rbp)
jmp 0x3b36b
movq -0x9d8(%rbp), %rdi
callq 0x5e960
movq %rax, -0x9e0(%rbp)
jmp 0x3b380
movq -0x9e0(%rbp), %rsi
leaq -0x728(%rbp), %rdi
callq 0x500c0
jmp 0x3b395
movq -0x9c0(%rbp), %rdi
leaq -0x718(%rbp), %rsi
movl $0x100, %edx            # imm = 0x100
leaq -0x728(%rbp), %rcx
callq 0x29d70
jmp 0x3b3b6
leaq -0x8c0(%rbp), %rdi
callq 0x5e9b0
addq $0x9e0, %rsp            # imm = 0x9E0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x5e9b0
jmp 0x3b469
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x380(%rbp), %rdi
callq 0x5e9b0
jmp 0x3b469
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x540(%rbp), %rdi
callq 0x5e9b0
jmp 0x3b469
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x700(%rbp), %rdi
callq 0x5e9b0
jmp 0x3b469
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x8c0(%rbp), %rdi
callq 0x5e9b0
movq -0x1c0(%rbp), %rdi
callq 0x10bc0
nopw %cs:(%rax,%rax)