// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: comparison_operators::less_than_invoker()
BOOST_AUTO_TEST_CASE(less_than) {
		BOOST_CHECK(small_num_rn < one_rn);
		BOOST_CHECK(small_num_rn < big_num_rn);
		BOOST_CHECK(!(big_num_rn < one_rn));
		BOOST_CHECK(!(one_rn < one_rn));
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb00, %rsp            # imm = 0xB00
movq 0x18976(%rip), %rax     # 0x24298
movq %rax, -0xa20(%rbp)
leaq 0x106d4(%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 0xb98f
movq -0xa10(%rbp), %rdi
leaq 0x10b54(%rip), %rsi     # 0x1c4f1
callq 0x177f0
movq %rax, -0xa28(%rbp)
jmp 0xb9ab
movq -0xa28(%rbp), %rdi
leaq 0x111da(%rip), %rsi     # 0x1cb93
callq 0x164e0
movq %rax, -0xa30(%rbp)
jmp 0xb9c7
movq -0xa30(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa38(%rbp)
jmp 0xb9dc
movq -0xa38(%rbp), %rsi
leaq -0x20(%rbp), %rdi
callq 0x16480
jmp 0xb9ee
movq -0xa20(%rbp), %rdi
leaq -0x10(%rbp), %rsi
movl $0x8f, %edx
leaq -0x20(%rbp), %rcx
callq 0x3470
jmp 0xba09
leaq -0x1b8(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17820
movq 0x18870(%rip), %rax     # 0x24298
movq %rax, -0xa40(%rbp)
leaq 0x105ce(%rip), %rsi     # 0x1c004
leaq -0x318(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xba49
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 0xba71
leaq -0x4c0(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x4c1(%rbp)
leaq -0x4c1(%rbp), %rsi
callq 0x16540
movq %rax, -0xa50(%rbp)
jmp 0xba9c
movq -0xa50(%rbp), %rdi
leaq 0x10a47(%rip), %rsi     # 0x1c4f1
callq 0x177f0
movq %rax, -0xa58(%rbp)
jmp 0xbab8
movq -0xa58(%rbp), %rdi
leaq 0x110dc(%rip), %rsi     # 0x1cba2
callq 0x16660
movq %rax, -0xa60(%rbp)
jmp 0xbad4
movq -0xa60(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa68(%rbp)
jmp 0xbae9
movq -0xa68(%rbp), %rsi
leaq -0x328(%rbp), %rdi
callq 0x16480
jmp 0xbafe
movq -0xa40(%rbp), %rdi
leaq -0x318(%rbp), %rsi
movl $0x8f, %edx
leaq -0x328(%rbp), %rcx
callq 0x3470
jmp 0xbb1f
leaq -0x4c0(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17840
jmp 0xbb39
movq 0x18758(%rip), %rax     # 0x24298
movq %rax, -0xa70(%rbp)
leaq 0x104b6(%rip), %rsi     # 0x1c004
leaq -0x4d8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xbb61
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 0xbb89
leaq -0x680(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x681(%rbp)
leaq -0x681(%rbp), %rsi
callq 0x16540
movq %rax, -0xa80(%rbp)
jmp 0xbbb4
movq -0xa80(%rbp), %rdi
leaq 0x1092f(%rip), %rsi     # 0x1c4f1
callq 0x177f0
movq %rax, -0xa88(%rbp)
jmp 0xbbd0
movq -0xa88(%rbp), %rdi
leaq 0x10fd4(%rip), %rsi     # 0x1cbb2
callq 0x166b0
movq %rax, -0xa90(%rbp)
jmp 0xbbec
movq -0xa90(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa98(%rbp)
jmp 0xbc01
movq -0xa98(%rbp), %rsi
leaq -0x4e8(%rbp), %rdi
callq 0x16480
jmp 0xbc16
movq -0xa70(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
movl $0x8f, %edx
leaq -0x4e8(%rbp), %rcx
callq 0x3470
jmp 0xbc37
leaq -0x680(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0xbf60
jmp 0xbc51
movq 0x18640(%rip), %rax     # 0x24298
movq %rax, -0xaa0(%rbp)
leaq 0x1039e(%rip), %rsi     # 0x1c004
leaq -0x698(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xbc79
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 0xbca1
leaq -0x840(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x841(%rbp)
leaq -0x841(%rbp), %rsi
callq 0x16540
movq %rax, -0xab0(%rbp)
jmp 0xbccc
movq -0xab0(%rbp), %rdi
leaq 0x10817(%rip), %rsi     # 0x1c4f1
callq 0x177f0
movq %rax, -0xab8(%rbp)
jmp 0xbce8
movq -0xab8(%rbp), %rdi
leaq 0x10ec9(%rip), %rsi     # 0x1cbbf
callq 0x166e0
movq %rax, -0xac0(%rbp)
jmp 0xbd04
movq -0xac0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xac8(%rbp)
jmp 0xbd19
movq -0xac8(%rbp), %rsi
leaq -0x6a8(%rbp), %rdi
callq 0x16480
jmp 0xbd2e
movq -0xaa0(%rbp), %rdi
leaq -0x698(%rbp), %rsi
movl $0x8f, %edx
leaq -0x6a8(%rbp), %rcx
callq 0x3470
jmp 0xbd4f
leaq -0x840(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17860
jmp 0xbd69
movq 0x18528(%rip), %rax     # 0x24298
movq %rax, -0xad0(%rbp)
leaq 0x10286(%rip), %rsi     # 0x1c004
leaq -0x858(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xbd91
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 0xbdb9
leaq -0xa00(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0xa01(%rbp)
leaq -0xa01(%rbp), %rsi
callq 0x16540
movq %rax, -0xae0(%rbp)
jmp 0xbde4
movq -0xae0(%rbp), %rdi
leaq 0x106ff(%rip), %rsi     # 0x1c4f1
callq 0x177f0
movq %rax, -0xae8(%rbp)
jmp 0xbe00
movq -0xae8(%rbp), %rdi
leaq 0x10dc4(%rip), %rsi     # 0x1cbd2
callq 0x164e0
movq %rax, -0xaf0(%rbp)
jmp 0xbe1c
movq -0xaf0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xaf8(%rbp)
jmp 0xbe31
movq -0xaf8(%rbp), %rsi
leaq -0x868(%rbp), %rdi
callq 0x16480
jmp 0xbe46
movq -0xad0(%rbp), %rdi
leaq -0x858(%rbp), %rsi
movl $0x8f, %edx
leaq -0x868(%rbp), %rcx
callq 0x3470
jmp 0xbe67
leaq -0xa00(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17880
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 0xbf49
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0xbf3d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x4c0(%rbp), %rdi
callq 0x16610
jmp 0xbf3d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x680(%rbp), %rdi
callq 0x16610
jmp 0xbf3d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x840(%rbp), %rdi
callq 0x16610
jmp 0xbf3d
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 0x17880
movq -0x1c8(%rbp), %rdi
callq 0x3420
nopw %cs:(%rax,%rax)