// File: grame-cncm[P]digraph/tests.cpp
// Function: check7()
bool check7()
{
    std::stringstream ss;
    test7(ss);
    bool ok = (0 == ss.str().compare(res7()));
    if (ok) {
        std::cout << "test7 OK " << std::endl;
    } else {
        std::cout << "test7 FAIL " << std::endl;
        std::cout << "We got     \"" << ss.str() << '"' << std::endl;
        std::cout << "instead of \"" << res7() << '"' << std::endl;
    }
    return ok;
}

// Assembly:
subq $0x268, %rsp            # imm = 0x268
leaq 0xe0(%rsp), %rdi
callq 0x2110
leaq 0xf0(%rsp), %rdi
callq 0x1f480
jmp 0x1fce3
leaq 0xb0(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
callq 0x2170
jmp 0x1fcfa
leaq 0x90(%rsp), %rdi
callq 0x1fc40
jmp 0x1fd09
leaq 0xb0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
callq 0x2030
movl %eax, 0x4c(%rsp)
jmp 0x1fd24
movl 0x4c(%rsp), %ecx
xorl %eax, %eax
cmpl %ecx, %eax
sete %al
movb %al, 0x4b(%rsp)
leaq 0x90(%rsp), %rdi
callq 0x20e0
leaq 0xb0(%rsp), %rdi
callq 0x20e0
movb 0x4b(%rsp), %al
andb $0x1, %al
movb %al, 0xd3(%rsp)
testb $0x1, 0xd3(%rsp)
je 0x1fdfc
movq 0x36261(%rip), %rdi     # 0x55fd0
leaq 0x1eb3d(%rip), %rsi     # 0x3e8b3
callq 0x2180
movq %rax, 0x40(%rsp)
jmp 0x1fd82
movq 0x40(%rsp), %rdi
movq 0x3622a(%rip), %rsi     # 0x55fb8
callq 0x21b0
jmp 0x1fd95
jmp 0x1ff51
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xd8(%rsp)
movl %eax, 0xd4(%rsp)
jmp 0x1ff77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xd8(%rsp)
movl %eax, 0xd4(%rsp)
jmp 0x1fdea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xd8(%rsp)
movl %eax, 0xd4(%rsp)
leaq 0x90(%rsp), %rdi
callq 0x20e0
leaq 0xb0(%rsp), %rdi
callq 0x20e0
jmp 0x1ff77
movq 0x361cd(%rip), %rdi     # 0x55fd0
leaq 0x1eab3(%rip), %rsi     # 0x3e8bd
callq 0x2180
movq %rax, 0x38(%rsp)
jmp 0x1fe16
movq 0x38(%rsp), %rdi
movq 0x36196(%rip), %rsi     # 0x55fb8
callq 0x21b0
jmp 0x1fe29
movq 0x361a0(%rip), %rdi     # 0x55fd0
leaq 0x1e3de(%rip), %rsi     # 0x3e215
callq 0x2180
movq %rax, 0x30(%rsp)
jmp 0x1fe43
leaq 0x70(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
callq 0x2170
jmp 0x1fe57
movq 0x30(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x2150
movq %rax, 0x28(%rsp)
jmp 0x1fe6d
movq 0x28(%rsp), %rdi
movl $0x22, %esi
callq 0x21e0
movq %rax, 0x20(%rsp)
jmp 0x1fe83
movq 0x20(%rsp), %rdi
movq 0x36129(%rip), %rsi     # 0x55fb8
callq 0x21b0
jmp 0x1fe96
leaq 0x70(%rsp), %rdi
callq 0x20e0
movq 0x36129(%rip), %rdi     # 0x55fd0
leaq 0x1e374(%rip), %rsi     # 0x3e222
callq 0x2180
movq %rax, 0x18(%rsp)
jmp 0x1feba
leaq 0x50(%rsp), %rdi
callq 0x1fc40
jmp 0x1fec6
movq 0x18(%rsp), %rdi
leaq 0x50(%rsp), %rsi
callq 0x2150
movq %rax, 0x10(%rsp)
jmp 0x1fedc
movq 0x10(%rsp), %rdi
movl $0x22, %esi
callq 0x21e0
movq %rax, 0x8(%rsp)
jmp 0x1fef2
movq 0x8(%rsp), %rdi
movq 0x360ba(%rip), %rsi     # 0x55fb8
callq 0x21b0
jmp 0x1ff05
leaq 0x50(%rsp), %rdi
callq 0x20e0
jmp 0x1ff51
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xd8(%rsp)
movl %eax, 0xd4(%rsp)
leaq 0x70(%rsp), %rdi
callq 0x20e0
jmp 0x1ff77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xd8(%rsp)
movl %eax, 0xd4(%rsp)
leaq 0x50(%rsp), %rdi
callq 0x20e0
jmp 0x1ff77
movb 0xd3(%rsp), %al
movb %al, 0x7(%rsp)
leaq 0xe0(%rsp), %rdi
callq 0x2120
movb 0x7(%rsp), %al
andb $0x1, %al
addq $0x268, %rsp            # imm = 0x268
retq
leaq 0xe0(%rsp), %rdi
callq 0x2120
movq 0xd8(%rsp), %rdi
callq 0x2290
nopw %cs:(%rax,%rax)