// File: AgathokakologicalBit[P]wit/src/code_generation/generators/javascript/generator.cpp
// Function: akbit::system::code_generation::js::(anonymous namespace)::cg_visit_value_function[abi:cxx11](std::shared_ptr<akbit::system::Node>, akbit::system::Node::value_function_t&, akbit::system::code_generation::js::Settings)
std::string cg_visit_value_function(std::shared_ptr<Node>, Node::value_function_t &val, Settings s)
    {
      std::string res = "((";
      
      for (auto& p : val.parameters)
      {
        if (&p != &val.parameters.front()) res += ", ";
        res += cg_visit(std::get<Node::declaration_t>(p->value).variable, s);
      }
      res += ") => " + cg_visit(val.body, s) + ")";

      return res;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x190, %rsp            # imm = 0x190
movq %rdi, -0x160(%rbp)
movb %r8b, %al
movq %rdi, %r8
movq %r8, -0x168(%rbp)
movq %rdi, -0x8(%rbp)
movq %rcx, -0x28(%rbp)
movb %al, -0x20(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x10(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x18(%rbp)
movq %rsi, -0x30(%rbp)
movq %rdx, -0x38(%rbp)
movb $0x0, -0x39(%rbp)
leaq -0x3a(%rbp), %rdi
movq %rdi, -0x158(%rbp)
callq 0x4570
movq -0x160(%rbp), %rdi
movq -0x158(%rbp), %rdx
leaq 0x2681(%rip), %rsi      # 0x36c8a
callq 0x9e70
jmp 0x34610
leaq -0x3a(%rbp), %rdi
callq 0x4370
movq -0x38(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rdi
callq 0x18160
movq %rax, -0x60(%rbp)
movq -0x58(%rbp), %rdi
callq 0x17fa0
movq %rax, -0x68(%rbp)
leaq -0x60(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x22a70
testb $0x1, %al
jne 0x34651
jmp 0x347bd
leaq -0x60(%rbp), %rdi
callq 0x184a0
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movq %rax, -0x170(%rbp)
movq -0x38(%rbp), %rdi
callq 0x34fc0
movq %rax, %rcx
movq -0x170(%rbp), %rax
cmpq %rcx, %rax
je 0x346c3
movq -0x160(%rbp), %rdi
leaq 0x25f5(%rip), %rsi      # 0x36c84
callq 0x42d0
jmp 0x34696
jmp 0x346c3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x3a(%rbp), %rdi
callq 0x4370
jmp 0x34941
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x34935
movq -0x70(%rbp), %rdi
callq 0x9b90
movq %rax, %rdi
addq $0x10, %rdi
callq 0x18680
movq %rax, -0x178(%rbp)
jmp 0x346e1
movq -0x178(%rbp), %rsi
leaq -0xa0(%rbp), %rdi
movq %rdi, -0x180(%rbp)
callq 0x9b20
movq -0x180(%rbp), %rsi
movl -0x10(%rbp), %eax
movl %eax, -0xa8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xb0(%rbp)
movl -0xa8(%rbp), %eax
movl %eax, -0xb8(%rbp)
movq -0xb0(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rdx
movl -0xb8(%rbp), %ecx
leaq -0x90(%rbp), %rdi
callq 0x31180
jmp 0x3474b
movq -0x160(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x4410
jmp 0x34760
leaq -0x90(%rbp), %rdi
callq 0x4210
leaq -0xa0(%rbp), %rdi
callq 0x9b50
leaq -0x60(%rbp), %rdi
callq 0x22ab0
jmp 0x3463b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x347ac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x4210
leaq -0xa0(%rbp), %rdi
callq 0x9b50
jmp 0x34935
movq -0x38(%rbp), %rsi
addq $0x18, %rsi
leaq -0x130(%rbp), %rdi
movq %rdi, -0x188(%rbp)
callq 0x9b20
movq -0x188(%rbp), %rsi
movl -0x10(%rbp), %eax
movl %eax, -0x138(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x140(%rbp)
movl -0x138(%rbp), %eax
movl %eax, -0x148(%rbp)
movq -0x140(%rbp), %rax
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rdx
movl -0x148(%rbp), %ecx
leaq -0x120(%rbp), %rdi
callq 0x31180
jmp 0x34828
leaq 0x245e(%rip), %rsi      # 0x36c8d
leaq -0x100(%rbp), %rdi
leaq -0x120(%rbp), %rdx
callq 0x34e50
jmp 0x34844
leaq 0x242a(%rip), %rdx      # 0x36c75
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0x11a50
jmp 0x34860
movq -0x160(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x4410
jmp 0x34875
leaq -0xe0(%rbp), %rdi
callq 0x4210
leaq -0x100(%rbp), %rdi
callq 0x4210
leaq -0x120(%rbp), %rdi
callq 0x4210
leaq -0x130(%rbp), %rdi
callq 0x9b50
movb $0x1, -0x39(%rbp)
testb $0x1, -0x39(%rbp)
jne 0x34925
jmp 0x34919
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x3490b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x348ff
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x348f3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x4210
leaq -0x100(%rbp), %rdi
callq 0x4210
leaq -0x120(%rbp), %rdi
callq 0x4210
leaq -0x130(%rbp), %rdi
callq 0x9b50
jmp 0x34935
movq -0x160(%rbp), %rdi
callq 0x4210
movq -0x168(%rbp), %rax
addq $0x190, %rsp            # imm = 0x190
popq %rbp
retq
movq -0x160(%rbp), %rdi
callq 0x4210
movq -0x48(%rbp), %rdi
callq 0x4560
nopw (%rax,%rax)