// File: /workspace/github_c_makefile_star2_O2/eiselekd[P]MinimalLisp/./lf1.c
// Function: lf_init
void
lf_init(lfctx *cctx)
{
    v *c;
    
    ctx *lctx = &cctx->f.lctx; fctx *fcctx = &cctx->f;
    f_init(&cctx->f);

#undef CODE
#define ARITH(n,a0,a1,f,c) CODE(0,n,0,a0,0,a1,f,c)
#define CODE(in,n,ia0,a0,ia1,a1,f,c) {                                  \
        struct v *e, *ei;                                               \
        g_##f = mkCons(mkFop((fopfn)fop_##f), 0);                       \
        CONS_WORD_VAL(g_##f,1);                                         \
        if (a0) { fcctx->env = mkCons(ei=mkCons(unique(&fcctx->lctx, a0, strlen(a0)), e = mkCons(mkFop((fopfn)fop_##f), 0)),fcctx->env); FOP_IMMEDIATE_VAL(ei, ia0); CONS_WORD_VAL(e,1); } \
        if (a1) { fcctx->env = mkCons(ei=mkCons(unique(&fcctx->lctx, a1, strlen(a1)), e = mkCons(mkFop((fopfn)fop_##f), 0)),fcctx->env); FOP_IMMEDIATE_VAL(ei, ia1); CONS_WORD_VAL(e,1); } \
        fcctx->env = mkCons(ei=mkCons(unique(&fcctx->lctx, n,  strlen(n)),  g_##f),fcctx->env); FOP_IMMEDIATE_VAL(ei, in); \
    }
    
#include "lf.h"

    for (c = lctx->env; c; c=cdr(c)) {
        v *a = car(c); v *e;
        v *o = cdr(a), *n = car(a);
        if (o->tag == OP) {
            if (OP_ARGEVALP(o)) {
                rplacd(a, e = mkCons(car(g_ELISP), mkCons(o,0)));
                printf("Remap %s = 0x%p..\n",str(n),e);
                CONS_WORD_VAL(e,1);
                FN_ARGEVAL_SET(e);
            } else {
            }
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x7348
leaq -0xcea(%rip), %rdi      # 0xa0ff
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5899(%rip)      # 0x10698
orb $0x1, 0x1(%rax)
leaq 0x157c(%rip), %rsi      # 0xc386
pushq $0x5
popq %rdx
movq %rbx, %rdi
movl %edx, %r14d
callq 0x32a0
movq 0x5879(%rip), %rsi      # 0x10698
movq %rax, %rdi
callq 0x2362
movq %rax, %r15
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r15)
leaq -0xcca(%rip), %rdi      # 0xa181
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x583f(%rip)      # 0x106a0
orb $0x1, 0x1(%rax)
leaq 0x1520(%rip), %rsi      # 0xc38c
pushq $0x3
popq %r12
movq %rbx, %rdi
movl %r12d, %edx
callq 0x32a0
movq 0x581e(%rip), %rsi      # 0x106a0
movq %rax, %rdi
callq 0x2362
movq %rax, %r15
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r15)
leaq -0xcab(%rip), %rdi      # 0xa203
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x57e4(%rip)      # 0x106a8
orb $0x1, 0x1(%rax)
leaq 0x14c1(%rip), %rsi      # 0xc390
pushq $0x4
popq %r15
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x57c3(%rip), %rsi      # 0x106a8
movq %rax, %rdi
callq 0x2362
movq %rax, %r13
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r13)
leaq -0xc9d(%rip), %rdi      # 0xa275
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5788(%rip)      # 0x106b0
orb $0x1, 0x1(%rax)
leaq 0x1462(%rip), %rsi      # 0xc395
pushq $0x6
popq %rdx
movq %rbx, %rdi
callq 0x32a0
movq 0x576b(%rip), %rsi      # 0x106b0
movq %rax, %rdi
callq 0x2362
movq %rax, %r13
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r13)
leaq -0xc62(%rip), %rdi      # 0xa310
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5730(%rip)      # 0x106b8
orb $0x1, 0x1(%rax)
leaq 0x1409(%rip), %rsi      # 0xc39c
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x5713(%rip), %rsi      # 0x106b8
movq %rax, %rdi
callq 0x2362
movq %rax, %r13
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r13)
leaq -0xc58(%rip), %rdi      # 0xa37a
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x56d8(%rip)      # 0x106c0
orb $0x1, 0x1(%rax)
leaq 0x13ae(%rip), %rsi      # 0xc3a1
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x56bb(%rip), %rsi      # 0x106c0
movq %rax, %rdi
callq 0x2362
movq %rax, %r13
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r13)
leaq -0xc4e(%rip), %rdi      # 0xa3e4
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5680(%rip)      # 0x106c8
orb $0x1, 0x1(%rax)
leaq 0x1353(%rip), %rsi      # 0xc3a6
movq %rbx, %rdi
movl %r12d, %edx
callq 0x32a0
movq 0x5663(%rip), %rsi      # 0x106c8
movq %rax, %rdi
callq 0x2362
movq %rax, %r12
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r12)
leaq -0xc44(%rip), %rdi      # 0xa44e
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5628(%rip)      # 0x106d0
orb $0x1, 0x1(%rax)
leaq 0x12f7(%rip), %rsi      # 0xc3aa
movq %rbx, %rdi
movl %r14d, %edx
callq 0x32a0
movq 0x560b(%rip), %rsi      # 0x106d0
movq %rax, %rdi
callq 0x2362
movq %rax, %r12
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r12)
leaq -0xc3a(%rip), %rdi      # 0xa4b8
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x55d0(%rip)      # 0x106d8
orb $0x1, 0x1(%rax)
leaq 0x129d(%rip), %rsi      # 0xc3b0
movq %rbx, %rdi
movl %r14d, %edx
callq 0x32a0
movq 0x55b3(%rip), %rsi      # 0x106d8
movq %rax, %rdi
callq 0x2362
movq %rax, %r12
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r12)
leaq -0xc31(%rip), %rdi      # 0xa521
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5578(%rip)      # 0x106e0
orb $0x1, 0x1(%rax)
leaq 0x1243(%rip), %rsi      # 0xc3b6
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x555b(%rip), %rsi      # 0x106e0
movq %rax, %rdi
callq 0x2362
movq %rax, %r15
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r15)
leaq -0xc26(%rip), %rdi      # 0xa58b
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5521(%rip)      # 0x106e8
orb $0x1, 0x1(%rax)
leaq 0x11e9(%rip), %rsi      # 0xc3bb
pushq $0x8
popq %r15
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x5500(%rip), %rsi      # 0x106e8
movq %rax, %rdi
callq 0x2362
movq %rax, %r12
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r12)
leaq -0xc20(%rip), %rdi      # 0xa5f5
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x54c5(%rip)      # 0x106f0
orb $0x1, 0x1(%rax)
leaq 0x118e(%rip), %rsi      # 0xc3c4
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x54a8(%rip), %rsi      # 0x106f0
movq %rax, %rdi
callq 0x2362
movq %rax, %r12
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r12)
leaq -0xc16(%rip), %rdi      # 0xa65f
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x546d(%rip)      # 0x106f8
orb $0x1, 0x1(%rax)
leaq 0x1137(%rip), %rsi      # 0xc3cd
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x5450(%rip), %rsi      # 0x106f8
movq %rax, %rdi
callq 0x2362
movq %rax, %r12
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r12)
leaq -0xc0c(%rip), %rdi      # 0xa6c9
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5415(%rip)      # 0x10700
orb $0x1, 0x1(%rax)
leaq 0x10e0(%rip), %rsi      # 0xc3d6
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x53f8(%rip), %rsi      # 0x10700
movq %rax, %rdi
callq 0x2362
movq %rax, %r12
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r12)
leaq -0xc02(%rip), %r13      # 0xa733
movq %r13, %rdi
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x53ba(%rip)      # 0x10708
orb $0x1, 0x1(%rax)
leaq 0x1086(%rip), %rsi      # 0xc3df
pushq $0x7
popq %r12
movq %rbx, %rdi
movl %r12d, %edx
callq 0x32a0
movq %rax, %r14
movq %r13, %rdi
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, %r13
movq %r14, %rdi
movq %rax, %rsi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
orb $0x1, 0x1(%r13)
leaq 0x1033(%rip), %rsi      # 0xc3e7
pushq $0xc
popq %rdx
movq %rbx, %rdi
callq 0x32a0
movq 0x5342(%rip), %rsi      # 0x10708
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
leaq -0xc12(%rip), %rdi      # 0xa7e0
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5308(%rip)      # 0x10710
orb $0x1, 0x1(%rax)
leaq 0xfe1(%rip), %rsi       # 0xc3f4
movq %rbx, %rdi
pushq $0x5
popq %r13
movl %r13d, %edx
callq 0x32a0
movq 0x52e7(%rip), %rsi      # 0x10710
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
leaq -0xb18(%rip), %rdi      # 0xa93d
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x52ad(%rip)      # 0x10718
orb $0x1, 0x1(%rax)
leaq 0xf84(%rip), %rsi       # 0xc3fa
movq %rbx, %rdi
movl %r12d, %edx
callq 0x32a0
movq 0x5290(%rip), %rsi      # 0x10718
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
leaq -0x9d1(%rip), %rdi      # 0xaae3
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5256(%rip)      # 0x10720
orb $0x1, 0x1(%rax)
leaq 0xf2d(%rip), %rsi       # 0xc402
movq %rbx, %rdi
movl %r13d, %edx
callq 0x32a0
movq 0x5239(%rip), %rsi      # 0x10720
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
leaq -0x98e(%rip), %rdi      # 0xab85
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x51ff(%rip)      # 0x10728
orb $0x1, 0x1(%rax)
leaq 0xed4(%rip), %rsi       # 0xc408
movq %rbx, %rdi
movl %r15d, %edx
callq 0x32a0
movq 0x51e2(%rip), %rsi      # 0x10728
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
leaq -0x953(%rip), %rdi      # 0xac1f
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x51a8(%rip)      # 0x10730
orb $0x1, 0x1(%rax)
leaq 0xe7e(%rip), %rsi       # 0xc411
pushq $0x2
popq %rdx
movq %rbx, %rdi
callq 0x32a0
movq 0x518b(%rip), %rsi      # 0x10730
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
leaq -0x934(%rip), %rdi      # 0xac9d
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x5151(%rip)      # 0x10738
orb $0x1, 0x1(%rax)
leaq 0xe22(%rip), %rsi       # 0xc414
movq %rbx, %rdi
movl %r13d, %edx
callq 0x32a0
movq 0x5134(%rip), %rsi      # 0x10738
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
leaq -0x93a(%rip), %rdi      # 0xacf6
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x50fa(%rip)      # 0x10740
orb $0x1, 0x1(%rax)
leaq 0xdc9(%rip), %rsi       # 0xc41a
movq %rbx, %rdi
movl %r13d, %edx
callq 0x32a0
movq 0x50dd(%rip), %rsi      # 0x10740
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
leaq -0x926(%rip), %rdi      # 0xad69
callq 0x23dd
movq %rax, %rdi
xorl %esi, %esi
callq 0x2362
movq %rax, 0x50a3(%rip)      # 0x10748
orb $0x1, 0x1(%rax)
leaq 0xd70(%rip), %rsi       # 0xc420
movq %rbx, %rdi
movl %r13d, %edx
callq 0x32a0
movq 0x5086(%rip), %rsi      # 0x10748
movq %rax, %rdi
callq 0x2362
movq %rax, %r14
movq 0x148(%rbx), %rsi
movq %rax, %rdi
callq 0x2362
movq %rax, 0x148(%rbx)
andb $0x7f, (%r14)
addq $0x8, %rbx
leaq 0xd34(%rip), %r14       # 0xc426
movq (%rbx), %rbx
testq %rbx, %rbx
je 0xb770
movq 0x8(%rbx), %r12
testq %r12, %r12
je 0xb70f
movq 0x8(%r12), %r13
movq 0x10(%r12), %rdi
jmp 0xb714
xorl %edi, %edi
xorl %r13d, %r13d
movl (%rdi), %eax
andl $0x1f, %eax
cmpl $0x15, %eax
jne 0xb76a
movq 0x4fe3(%rip), %rax      # 0x10708
testq %rax, %rax
je 0xb730
movq 0x8(%rax), %r15
jmp 0xb733
xorl %r15d, %r15d
xorl %esi, %esi
callq 0x2362
movq %r15, %rdi
movq %rax, %rsi
callq 0x2362
movq %rax, %r15
testq %r12, %r12
je 0xb752
movq %r15, 0x10(%r12)
movq 0x8(%r13), %rsi
movq %r14, %rdi
movq %r15, %rdx
xorl %eax, %eax
callq 0x2070
orl $0x110, (%r15)          # imm = 0x110
addq $0x10, %rbx
jmp 0xb6f2
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq