// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: simple_list_readable_display
static void simple_list_readable_display(s7_scheme *sc, s7_pointer lst, s7_int true_len, s7_int len, s7_pointer port, shared_info *ci)
    {
        /* the easier cases: no circles or shared refs to patch up */
        s7_pointer x;

        if (is_immutable(lst))
            port_write_string(port)(sc, "immutable! (", 12, port);

        if (true_len > 0)
        {
            port_write_string(port)(sc, "list", 4, port);
            for (x = lst; is_pair(x); x = cdr(x))
            {
                port_write_character(port)(sc, ' ', port);
                object_to_port_with_circle_check(sc, car(x), port, P_READABLE, ci);
            }
            port_write_character(port)(sc, ')', port);
        }
        else
        {
            s7_int i;
            port_write_string(port)(sc, "cons ", 5, port);
            object_to_port_with_circle_check(sc, car(lst), port, P_READABLE, ci);
            for (x = cdr(lst); is_pair(x); x = cdr(x))
            {
                port_write_string(port)(sc, " (cons ", 7, port);
                object_to_port_with_circle_check(sc, car(x), port, P_READABLE, ci);
            }
            port_write_character(port)(sc, ' ', port);
            object_to_port_with_circle_check(sc, x, port, P_READABLE, ci);
            for (i = 1; i < len; i++)
                port_write_character(port)(sc, ')', port);
        }
        if (is_immutable(lst))
            port_write_character(port)(sc, ')', port);
    }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x60(%rsp)
movq %rsi, 0x58(%rsp)
movq %rdx, 0x50(%rsp)
movq %rcx, 0x48(%rsp)
movq %r8, 0x40(%rsp)
movq %r9, 0x38(%rsp)
movq 0x58(%rsp), %rax
movq (%rax), %rax
andq $0x1000000, %rax        # imm = 0x1000000
cmpq $0x0, %rax
je 0x1ae98f
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rcx
leaq 0x43bd6(%rip), %rsi     # 0x1f255e
movl $0xc, %edx
callq *%rax
cmpq $0x0, 0x50(%rsp)
jle 0x1aeadc
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rcx
leaq 0x35dd2(%rip), %rsi     # 0x1e478f
movl $0x4, %edx
callq *%rax
movq 0x58(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x1aeab5
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x8(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rdx
movl $0x20, %esi
callq *%rax
movq 0x30(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
cmpq $0x0, 0x38(%rsp)
je 0x1aea6e
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x73468(%rip), %rax     # 0x221e90
testb $0x1, (%rax,%rcx)
je 0x1aea6e
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x15, %eax
jne 0x1aea4e
movq 0x28(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x100, %eax            # imm = 0x100
cmpl $0x0, %eax
jne 0x1aea6e
movq 0x60(%rsp), %rdi
movq 0x28(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %r8
movl $0x2, %ecx
callq 0xd0220
jmp 0x1aea9e
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x73451(%rip), %rax     # 0x221ed0
movq (%rax,%rcx,8), %rax
movq 0x60(%rsp), %rdi
movq 0x28(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %r8
movl $0x2, %ecx
callq *%rax
jmp 0x1aeaa0
jmp 0x1aeaa2
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x30(%rsp)
jmp 0x1ae9ce
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x8(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rdx
movl $0x29, %esi
callq *%rax
jmp 0x1aeda6
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rcx
leaq 0x43a6f(%rip), %rsi     # 0x1f256d
movl $0x5, %edx
callq *%rax
movq 0x58(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
cmpq $0x0, 0x38(%rsp)
je 0x1aeb72
movq 0x18(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x73364(%rip), %rax     # 0x221e90
testb $0x1, (%rax,%rcx)
je 0x1aeb72
movq 0x18(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x15, %eax
jne 0x1aeb52
movq 0x18(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x100, %eax            # imm = 0x100
cmpl $0x0, %eax
jne 0x1aeb72
movq 0x60(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %r8
movl $0x2, %ecx
callq 0xd0220
jmp 0x1aeba2
movq 0x18(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x7334d(%rip), %rax     # 0x221ed0
movq (%rax,%rcx,8), %rax
movq 0x60(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %r8
movl $0x2, %ecx
callq *%rax
jmp 0x1aeba4
movq 0x58(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x1aeca0
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rcx
leaq 0x43986(%rip), %rsi     # 0x1f256b
movl $0x7, %edx
callq *%rax
movq 0x30(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
cmpq $0x0, 0x38(%rsp)
je 0x1aec59
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x7327d(%rip), %rax     # 0x221e90
testb $0x1, (%rax,%rcx)
je 0x1aec59
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x15, %eax
jne 0x1aec39
movq 0x10(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x100, %eax            # imm = 0x100
cmpl $0x0, %eax
jne 0x1aec59
movq 0x60(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %r8
movl $0x2, %ecx
callq 0xd0220
jmp 0x1aec89
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x73266(%rip), %rax     # 0x221ed0
movq (%rax,%rcx,8), %rax
movq 0x60(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %r8
movl $0x2, %ecx
callq *%rax
jmp 0x1aec8b
jmp 0x1aec8d
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x30(%rsp)
jmp 0x1aebb2
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x8(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rdx
movl $0x20, %esi
callq *%rax
movq 0x30(%rsp), %rax
movq %rax, 0x8(%rsp)
cmpq $0x0, 0x38(%rsp)
je 0x1aed2b
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x731ab(%rip), %rax     # 0x221e90
testb $0x1, (%rax,%rcx)
je 0x1aed2b
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x15, %eax
jne 0x1aed0b
movq 0x8(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x100, %eax            # imm = 0x100
cmpl $0x0, %eax
jne 0x1aed2b
movq 0x60(%rsp), %rdi
movq 0x8(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %r8
movl $0x2, %ecx
callq 0xd0220
jmp 0x1aed5b
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x73194(%rip), %rax     # 0x221ed0
movq (%rax,%rcx,8), %rax
movq 0x60(%rsp), %rdi
movq 0x8(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0x38(%rsp), %r8
movl $0x2, %ecx
callq *%rax
jmp 0x1aed5d
movq $0x1, 0x20(%rsp)
movq 0x20(%rsp), %rax
cmpq 0x48(%rsp), %rax
jge 0x1aeda4
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x8(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rdx
movl $0x29, %esi
callq *%rax
movq 0x20(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x20(%rsp)
jmp 0x1aed66
jmp 0x1aeda6
movq 0x58(%rsp), %rax
movq (%rax), %rax
andq $0x1000000, %rax        # imm = 0x1000000
cmpq $0x0, %rax
je 0x1aeddc
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x8(%rax), %rax
movq 0x60(%rsp), %rdi
movq 0x40(%rsp), %rdx
movl $0x29, %esi
callq *%rax
addq $0x68, %rsp
retq
nopw %cs:(%rax,%rax)