// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: display_p_pp
static s7_pointer display_p_pp(s7_scheme *sc, s7_pointer x, s7_pointer port)
    {
        if (port == sc->F) return(x);
        if (!is_output_port(port))
            return(method_or_bust_with_type(sc, port, sc->display_symbol, list_2(sc, x, port), an_output_port_string, 2));
        if (port_is_closed(port))
            s7_wrong_type_arg_error(sc, "display", 2, port, "an open output port");
        check_method(sc, x, sc->display_symbol, list_2(sc, x, port));
        return(object_out(sc, x, port, P_DISPLAY));
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %rbx
cmpq %rdx, 0x120(%rdi)
je 0x8a5f2
movq %rdx, %r14
movq %rdi, %r15
cmpb $0x22, (%rdx)
jne 0x8a508
movq 0x8(%r14), %rax
cmpb $0x1, 0x2(%rax)
jne 0x8a35f
leaq 0x88d66(%rip), %rsi     # 0x1130ae
leaq 0x99b26(%rip), %r8      # 0x123e75
movl $0x2, %edx
movq %r15, %rdi
movq %r14, %rcx
callq 0xe25f
movb $0x1, %bpl
testb $0x40, 0x3(%rbx)
je 0x8a59e
cmpb $0x1, 0x24c(%r15)
jne 0x8a59e
movq %r15, %rdi
movq %rbx, %rsi
callq 0x9a55
movq 0xe80(%r15), %rdx
movq %r15, %rdi
movq %rax, %rsi
callq 0x99ef
cmpq 0x128(%r15), %rax
je 0x8a59e
movq %rax, 0x8(%rsp)
movq 0x90(%r15), %rax
movq 0x110(%r15), %r12
cmpq 0x98(%r15), %rax
ja 0x8a3c8
movq %r15, %rdi
callq 0xb389
movq 0x90(%r15), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r15)
movq -0x8(%rax), %rax
movl $0x200001, %ecx         # imm = 0x200001
movq %rcx, (%rax)
movq %r14, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%r15), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%r15)
movq -0x8(%rdx), %rbp
movq %rcx, (%rbp)
movq %rbx, 0x10(%rsp)
movq %rbx, 0x8(%rbp)
movq %rax, 0x10(%rbp)
movq %rbp, 0x4c8(%r15)
movq 0x8(%rbp), %rbx
movq 0x90(%r15), %rax
movq 0x110(%r15), %r13
cmpq 0x98(%r15), %rax
ja 0x8a43f
movq %r15, %rdi
callq 0xb389
movq 0x90(%r15), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r15)
movq -0x8(%rax), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq %rbx, 0x8(%rax)
movq %r13, 0x10(%rax)
movq %rax, (%rsp)
movq %rax, 0x4e8(%r15)
movq 0x10(%rbp), %rbp
cmpb $0x1, (%rbp)
jne 0x8a4d6
movq (%rsp), %r13
movq 0x8(%rbp), %r12
movq 0x90(%r15), %rax
movq 0x110(%r15), %rbx
cmpq 0x98(%r15), %rax
ja 0x8a4a0
movq %r15, %rdi
callq 0xb389
movq 0x90(%r15), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r15)
movq -0x8(%rax), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq %r12, 0x8(%rax)
movq %rbx, 0x10(%rax)
movq %rax, 0x10(%r13)
movq 0x10(%rbp), %rbp
cmpb $0x1, (%rbp)
movq %rax, %r13
je 0x8a47d
movq 0x110(%r15), %rax
movq %rax, 0x4e8(%r15)
movq %rax, 0x4c8(%r15)
movq %r15, %rdi
movq 0x8(%rsp), %rsi
movq (%rsp), %rdx
callq 0xbd41
xorl %ebp, %ebp
movq 0x10(%rsp), %rbx
jmp 0x8a59e
movq 0xe80(%r15), %r12
movq 0x90(%r15), %rax
movq 0x110(%r15), %r13
cmpq 0x98(%r15), %rax
ja 0x8a52e
movq %r15, %rdi
callq 0xb389
movq 0x90(%r15), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r15)
movq -0x8(%rax), %rax
movl $0x200001, %edx         # imm = 0x200001
movq %rdx, (%rax)
movq %r14, 0x8(%rax)
movq %r13, 0x10(%rax)
movq 0x90(%r15), %rcx
leaq -0x8(%rcx), %rsi
movq %rsi, 0x90(%r15)
movq -0x8(%rcx), %rcx
movq %rdx, (%rcx)
movq %rbx, 0x8(%rcx)
movq %rax, 0x10(%rcx)
movq 0xcfd4c(%rip), %r8      # 0x15a2c8
movq %r15, %rdi
movq %r14, %rsi
movq %r12, %rdx
movl $0x2, %r9d
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xf3da
testb %bpl, %bpl
je 0x8a5f5
movzbl (%rbx), %eax
leaq 0xcfd93(%rip), %rcx     # 0x15a340
cmpb $0x1, (%rax,%rcx)
jne 0x8a5d9
cmpl $0x15, %eax
jne 0x8a5be
testb $0x1, 0x7(%rbx)
jne 0x8a5d9
cmpq %rbx, 0x150(%r15)
je 0x8a5d9
movq %r15, %rdi
movq %rbx, %rsi
movq %r14, %rdx
xorl %ecx, %ecx
callq 0x9b866
jmp 0x8a5f2
leaq 0xcfda0(%rip), %r9      # 0x15a380
movq %r15, %rdi
movq %rbx, %rsi
movq %r14, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq *(%r9,%rax,8)
movq %rbx, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq