// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: inlet_p_pp
static s7_pointer inlet_p_pp(s7_scheme *sc, s7_pointer symbol, s7_pointer value)
    {
        s7_pointer x, slot;

        if (!is_symbol(symbol))
            return(sublet_1(sc, sc->nil, list_2(sc, symbol, value), sc->inlet_symbol));
        if (is_keyword(symbol))
            symbol = keyword_symbol(symbol);
        if (is_constant_symbol(sc, symbol))
            return(wrong_type_argument_with_type(sc, sc->inlet_symbol, 1, symbol, a_non_constant_symbol_string));

        new_cell(sc, x, T_LET | T_SAFE_PROCEDURE);
        sc->temp3 = x;
        let_id(x) = ++sc->let_number;
        set_outlet(x, sc->nil);
        new_cell_no_check(sc, slot, T_SLOT);
        slot_set_symbol(slot, symbol);
        slot_set_value(slot, value);
        slot_set_next(slot, slot_end(sc));
        let_set_slots(x, slot);
        set_local(symbol);
        symbol_set_local(symbol, let_id(x), slot);
        sc->temp3 = sc->nil;
        return(x);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
cmpb $0xa, (%rsi)
jne 0x8465d
testb $-0x80, 0x6(%r14)
je 0x8453d
movq 0x8(%r14), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %r14
movq (%r14), %rax
btl $0x18, %eax
jb 0x846e0
btq $0x30, %rax
jae 0x84592
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%r14), %rdx
movl $0x18, %eax
cmpq %rdx, %rsi
je 0x8457f
jle 0x84576
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0x84569
cmpq %rdx, %rsi
jne 0x84716
movq (%r14,%rax), %rdx
cmpb $0x20, (%rdx)
jne 0x84592
testb $0x1, 0x3(%rdx)
jne 0x846e0
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x845b1
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0x20001c, (%rax)       # imm = 0x20001C
movq %rax, 0x508(%rbx)
movq 0x250(%rbx), %rcx
incq %rcx
movq %rcx, 0x250(%rbx)
movq %rcx, 0x18(%rax)
movq 0x110(%rbx), %rcx
movq %rcx, 0x10(%rax)
movq 0x90(%rbx), %rcx
leaq -0x8(%rcx), %rdx
movq %rdx, 0x90(%rbx)
movq -0x8(%rcx), %rcx
movq $0x20, (%rcx)
movq %r14, 0x8(%rcx)
movq %r15, 0x10(%rcx)
movq $0x0, 0x18(%rcx)
movq %rcx, 0x8(%rax)
movq $-0x112201, %rdx        # imm = 0xFFEEDDFF
andq (%r14), %rdx
orq $0x100000, %rdx         # imm = 0x100000
movq %rdx, (%r14)
movq %rcx, 0x18(%r14)
movq 0x18(%rax), %rcx
movq %rcx, 0x20(%r14)
incl 0x28(%r14)
movq 0x110(%rbx), %rcx
movq %rcx, 0x508(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r12
cmpq 0x98(%rbx), %rax
ja 0x84683
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %ecx         # imm = 0x200001
movq %rcx, (%rax)
movq %r15, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%rbx), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rdx), %rdx
movq %rcx, (%rdx)
movq %r14, 0x8(%rdx)
movq %rax, 0x10(%rdx)
movq 0xfa0(%rbx), %rcx
movq %rbx, %rdi
movq %r12, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xa597
movq 0xfa0(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0xc2266(%rip), %rdx     # 0x146958
movq 0x140(%rbx), %r8
movq 0xc97b8(%rip), %r9      # 0x14deb8
movq %rbx, %rdi
movq %r14, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xa4e4
movl $0x10, %eax
cmpb $0x1c, (%rcx)
jne 0x8457f
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0x8473d
cmpq %r14, 0x8(%rdx)
je 0x84583
movq 0x18(%rdx), %rdx
jmp 0x84728
movq 0x10(%rcx), %rcx
jmp 0x8471b