// File: vsklad[P]cgen/commands.cpp
// Function: save_append_parameters(bal::Formula&)
void save_append_parameters(bal::Formula& formula) {
    formula.clear_parameters("application");
    formula.add_parameter("application", "name", APP_TITLE);
    formula.add_parameter("application", "version", APP_VERSION);
    formula.add_parameter("application", "url", APP_URL);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x220, %rsp            # imm = 0x220
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x1b8(%rbp)
leaq -0x29(%rbp), %rdi
movq %rdi, -0x1b0(%rbp)
callq 0xd5b0
movq -0x1b0(%rbp), %rdx
leaq 0x38a28(%rip), %rsi     # 0x623d0
leaq -0x28(%rbp), %rdi
callq 0xd440
jmp 0x299b3
movq -0x1b8(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x559d0
jmp 0x299c5
leaq -0x28(%rbp), %rdi
callq 0xd1b0
leaq -0x29(%rbp), %rdi
callq 0xd370
movq -0x8(%rbp), %rax
movq %rax, -0x1c8(%rbp)
leaq -0x61(%rbp), %rdi
movq %rdi, -0x1c0(%rbp)
callq 0xd5b0
movq -0x1c0(%rbp), %rdx
leaq 0x389d0(%rip), %rsi     # 0x623d0
leaq -0x60(%rbp), %rdi
callq 0xd440
jmp 0x29a0b
leaq -0x89(%rbp), %rdi
movq %rdi, -0x1d0(%rbp)
callq 0xd5b0
movq -0x1d0(%rbp), %rdx
leaq 0x37adf(%rip), %rsi     # 0x6150b
leaq -0x88(%rbp), %rdi
callq 0xd440
jmp 0x29a3a
leaq -0xb1(%rbp), %rdi
movq %rdi, -0x1d8(%rbp)
callq 0xd5b0
movq -0x1d8(%rbp), %rdx
leaq 0x38981(%rip), %rsi     # 0x623dc
leaq -0xb0(%rbp), %rdi
callq 0xd440
jmp 0x29a69
movq -0x1c8(%rbp), %rdi
leaq -0x60(%rbp), %rsi
leaq -0x88(%rbp), %rdx
leaq -0xb0(%rbp), %rcx
movl $0x1, %r8d
callq 0x55620
jmp 0x29a8f
leaq -0xb0(%rbp), %rdi
callq 0xd1b0
leaq -0xb1(%rbp), %rdi
callq 0xd370
leaq -0x88(%rbp), %rdi
callq 0xd1b0
leaq -0x89(%rbp), %rdi
callq 0xd370
leaq -0x60(%rbp), %rdi
callq 0xd1b0
leaq -0x61(%rbp), %rdi
callq 0xd370
movq -0x8(%rbp), %rax
movq %rax, -0x1e8(%rbp)
leaq -0xd9(%rbp), %rdi
movq %rdi, -0x1e0(%rbp)
callq 0xd5b0
movq -0x1e0(%rbp), %rdx
leaq 0x388d3(%rip), %rsi     # 0x623d0
leaq -0xd8(%rbp), %rdi
callq 0xd440
jmp 0x29b0b
leaq -0x101(%rbp), %rdi
movq %rdi, -0x1f0(%rbp)
callq 0xd5b0
movq -0x1f0(%rbp), %rdx
leaq 0x38573(%rip), %rsi     # 0x6209f
leaq -0x100(%rbp), %rdi
callq 0xd440
jmp 0x29b3a
leaq -0x129(%rbp), %rdi
movq %rdi, -0x1f8(%rbp)
callq 0xd5b0
movq -0x1f8(%rbp), %rdx
leaq 0x38886(%rip), %rsi     # 0x623e1
leaq -0x128(%rbp), %rdi
callq 0xd440
jmp 0x29b69
movq -0x1e8(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
leaq -0x100(%rbp), %rdx
leaq -0x128(%rbp), %rcx
movl $0x1, %r8d
callq 0x55620
jmp 0x29b92
leaq -0x128(%rbp), %rdi
callq 0xd1b0
leaq -0x129(%rbp), %rdi
callq 0xd370
leaq -0x100(%rbp), %rdi
callq 0xd1b0
leaq -0x101(%rbp), %rdi
callq 0xd370
leaq -0xd8(%rbp), %rdi
callq 0xd1b0
leaq -0xd9(%rbp), %rdi
callq 0xd370
movq -0x8(%rbp), %rax
movq %rax, -0x208(%rbp)
leaq -0x151(%rbp), %rdi
movq %rdi, -0x200(%rbp)
callq 0xd5b0
movq -0x200(%rbp), %rdx
leaq 0x387ca(%rip), %rsi     # 0x623d0
leaq -0x150(%rbp), %rdi
callq 0xd440
jmp 0x29c14
leaq -0x179(%rbp), %rdi
movq %rdi, -0x210(%rbp)
callq 0xd5b0
movq -0x210(%rbp), %rdx
leaq 0x387b2(%rip), %rsi     # 0x623e7
leaq -0x178(%rbp), %rdi
callq 0xd440
jmp 0x29c43
leaq -0x1a1(%rbp), %rdi
movq %rdi, -0x218(%rbp)
callq 0xd5b0
movq -0x218(%rbp), %rdx
leaq 0x38787(%rip), %rsi     # 0x623eb
leaq -0x1a0(%rbp), %rdi
callq 0xd440
jmp 0x29c72
movq -0x208(%rbp), %rdi
leaq -0x150(%rbp), %rsi
leaq -0x178(%rbp), %rdx
leaq -0x1a0(%rbp), %rcx
movl $0x1, %r8d
callq 0x55620
jmp 0x29c9b
leaq -0x1a0(%rbp), %rdi
callq 0xd1b0
leaq -0x1a1(%rbp), %rdi
callq 0xd370
leaq -0x178(%rbp), %rdi
callq 0xd1b0
leaq -0x179(%rbp), %rdi
callq 0xd370
leaq -0x150(%rbp), %rdi
callq 0xd1b0
leaq -0x151(%rbp), %rdi
callq 0xd370
addq $0x220, %rsp            # imm = 0x220
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29d0f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x28(%rbp), %rdi
callq 0xd1b0
leaq -0x29(%rbp), %rdi
callq 0xd370
jmp 0x29e98
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29d8c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29d77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29d5f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0xd1b0
leaq -0xb1(%rbp), %rdi
callq 0xd370
leaq -0x88(%rbp), %rdi
callq 0xd1b0
leaq -0x89(%rbp), %rdi
callq 0xd370
leaq -0x60(%rbp), %rdi
callq 0xd1b0
leaq -0x61(%rbp), %rdi
callq 0xd370
jmp 0x29e98
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29e0c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29df4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29ddc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x128(%rbp), %rdi
callq 0xd1b0
leaq -0x129(%rbp), %rdi
callq 0xd370
leaq -0x100(%rbp), %rdi
callq 0xd1b0
leaq -0x101(%rbp), %rdi
callq 0xd370
leaq -0xd8(%rbp), %rdi
callq 0xd1b0
leaq -0xd9(%rbp), %rdi
callq 0xd370
jmp 0x29e98
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29e8c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29e74
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x29e5c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x1a0(%rbp), %rdi
callq 0xd1b0
leaq -0x1a1(%rbp), %rdi
callq 0xd370
leaq -0x178(%rbp), %rdi
callq 0xd1b0
leaq -0x179(%rbp), %rdi
callq 0xd370
leaq -0x150(%rbp), %rdi
callq 0xd1b0
leaq -0x151(%rbp), %rdi
callq 0xd370
movq -0x38(%rbp), %rdi
callq 0xd5a0
nopw %cs:(%rax,%rax)