// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: arithmetic_operators::addition_invoker()
BOOST_AUTO_TEST_CASE(addition) {
		BOOST_CHECK(one_rn + one_rn == two_rn);
		BOOST_CHECK(one_rn + zero_rn == one_rn);
		BOOST_CHECK(two_rn + small_num_rn == two_plus_small_rn);
		BOOST_CHECK(big_num_rn + very_small_num_rn > big_num_rn);
		BOOST_CHECK(big_num_rn + very_small_num_rn != big_num_rn);
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb00, %rsp            # imm = 0xB00
movq 0x15156(%rip), %rax     # 0x24298
movq %rax, -0xa20(%rbp)
leaq 0xceb4(%rip), %rsi      # 0x1c004
leaq -0x10(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
leaq -0x1b8(%rbp), %rdi
movq %rdi, -0xa18(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa18(%rbp), %rdi
callq 0x16580
movq -0xa18(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x1b9(%rbp)
leaq -0x1b9(%rbp), %rsi
callq 0x16540
movq %rax, -0xa10(%rbp)
jmp 0xf1af
movq -0xa10(%rbp), %rdi
leaq 0xd50c(%rip), %rsi      # 0x1c6c9
callq 0x17b00
movq %rax, -0xa28(%rbp)
jmp 0xf1cb
movq -0xa28(%rbp), %rdi
leaq 0xd9ba(%rip), %rsi      # 0x1cb93
callq 0x164e0
movq %rax, -0xa30(%rbp)
jmp 0xf1e7
movq -0xa30(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa38(%rbp)
jmp 0xf1fc
movq -0xa38(%rbp), %rsi
leaq -0x20(%rbp), %rdi
callq 0x16480
jmp 0xf20e
movq -0xa20(%rbp), %rdi
leaq -0x10(%rbp), %rsi
movl $0xb5, %edx
leaq -0x20(%rbp), %rcx
callq 0x3470
jmp 0xf229
leaq -0x1b8(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17b30
movq 0x15050(%rip), %rax     # 0x24298
movq %rax, -0xa40(%rbp)
leaq 0xcdae(%rip), %rsi      # 0x1c004
leaq -0x318(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xf269
leaq -0x4c0(%rbp), %rdi
movq %rdi, -0xa48(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa48(%rbp), %rdi
callq 0x16580
jmp 0xf291
leaq -0x4c0(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x4c1(%rbp)
leaq -0x4c1(%rbp), %rsi
callq 0x16540
movq %rax, -0xa50(%rbp)
jmp 0xf2bc
movq -0xa50(%rbp), %rdi
leaq 0xd3ff(%rip), %rsi      # 0x1c6c9
callq 0x17b00
movq %rax, -0xa58(%rbp)
jmp 0xf2d8
movq -0xa58(%rbp), %rdi
leaq 0xd8bc(%rip), %rsi      # 0x1cba2
callq 0x16660
movq %rax, -0xa60(%rbp)
jmp 0xf2f4
movq -0xa60(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa68(%rbp)
jmp 0xf309
movq -0xa68(%rbp), %rsi
leaq -0x328(%rbp), %rdi
callq 0x16480
jmp 0xf31e
movq -0xa40(%rbp), %rdi
leaq -0x318(%rbp), %rsi
movl $0xb5, %edx
leaq -0x328(%rbp), %rcx
callq 0x3470
jmp 0xf33f
leaq -0x4c0(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17b50
jmp 0xf359
movq 0x14f38(%rip), %rax     # 0x24298
movq %rax, -0xa70(%rbp)
leaq 0xcc96(%rip), %rsi      # 0x1c004
leaq -0x4d8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xf381
leaq -0x680(%rbp), %rdi
movq %rdi, -0xa78(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa78(%rbp), %rdi
callq 0x16580
jmp 0xf3a9
leaq -0x680(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x681(%rbp)
leaq -0x681(%rbp), %rsi
callq 0x16540
movq %rax, -0xa80(%rbp)
jmp 0xf3d4
movq -0xa80(%rbp), %rdi
leaq 0xd2e7(%rip), %rsi      # 0x1c6c9
callq 0x17b00
movq %rax, -0xa88(%rbp)
jmp 0xf3f0
movq -0xa88(%rbp), %rdi
leaq 0xd7b4(%rip), %rsi      # 0x1cbb2
callq 0x166b0
movq %rax, -0xa90(%rbp)
jmp 0xf40c
movq -0xa90(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa98(%rbp)
jmp 0xf421
movq -0xa98(%rbp), %rsi
leaq -0x4e8(%rbp), %rdi
callq 0x16480
jmp 0xf436
movq -0xa70(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
movl $0xb5, %edx
leaq -0x4e8(%rbp), %rcx
callq 0x3470
jmp 0xf457
leaq -0x680(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0xf780
jmp 0xf471
movq 0x14e20(%rip), %rax     # 0x24298
movq %rax, -0xaa0(%rbp)
leaq 0xcb7e(%rip), %rsi      # 0x1c004
leaq -0x698(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xf499
leaq -0x840(%rbp), %rdi
movq %rdi, -0xaa8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xaa8(%rbp), %rdi
callq 0x16580
jmp 0xf4c1
leaq -0x840(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x841(%rbp)
leaq -0x841(%rbp), %rsi
callq 0x16540
movq %rax, -0xab0(%rbp)
jmp 0xf4ec
movq -0xab0(%rbp), %rdi
leaq 0xd1cf(%rip), %rsi      # 0x1c6c9
callq 0x17b00
movq %rax, -0xab8(%rbp)
jmp 0xf508
movq -0xab8(%rbp), %rdi
leaq 0xd6a9(%rip), %rsi      # 0x1cbbf
callq 0x166e0
movq %rax, -0xac0(%rbp)
jmp 0xf524
movq -0xac0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xac8(%rbp)
jmp 0xf539
movq -0xac8(%rbp), %rsi
leaq -0x6a8(%rbp), %rdi
callq 0x16480
jmp 0xf54e
movq -0xaa0(%rbp), %rdi
leaq -0x698(%rbp), %rsi
movl $0xb5, %edx
leaq -0x6a8(%rbp), %rcx
callq 0x3470
jmp 0xf56f
leaq -0x840(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17b70
jmp 0xf589
movq 0x14d08(%rip), %rax     # 0x24298
movq %rax, -0xad0(%rbp)
leaq 0xca66(%rip), %rsi      # 0x1c004
leaq -0x858(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xf5b1
leaq -0xa00(%rbp), %rdi
movq %rdi, -0xad8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xad8(%rbp), %rdi
callq 0x16580
jmp 0xf5d9
leaq -0xa00(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0xa01(%rbp)
leaq -0xa01(%rbp), %rsi
callq 0x16540
movq %rax, -0xae0(%rbp)
jmp 0xf604
movq -0xae0(%rbp), %rdi
leaq 0xd0b7(%rip), %rsi      # 0x1c6c9
callq 0x17b00
movq %rax, -0xae8(%rbp)
jmp 0xf620
movq -0xae8(%rbp), %rdi
leaq 0xd5a4(%rip), %rsi      # 0x1cbd2
callq 0x164e0
movq %rax, -0xaf0(%rbp)
jmp 0xf63c
movq -0xaf0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xaf8(%rbp)
jmp 0xf651
movq -0xaf8(%rbp), %rsi
leaq -0x868(%rbp), %rdi
callq 0x16480
jmp 0xf666
movq -0xad0(%rbp), %rdi
leaq -0x858(%rbp), %rsi
movl $0xb5, %edx
leaq -0x868(%rbp), %rcx
callq 0x3470
jmp 0xf687
leaq -0xa00(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17b90
addq $0xb00, %rsp            # imm = 0xB00
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x16610
jmp 0xf769
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0xf75d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x4c0(%rbp), %rdi
callq 0x16610
jmp 0xf75d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x680(%rbp), %rdi
callq 0x16610
jmp 0xf75d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x840(%rbp), %rdi
callq 0x16610
jmp 0xf75d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0xa00(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17b90
movq -0x1c8(%rbp), %rdi
callq 0x3420
nopw %cs:(%rax,%rax)