// File: /workspace/github_cpp_makefile_star2_O3/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
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x60, %rsp
movq %rdi, %rbx
leaq -0x30(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x27f6f(%rip), %rsi     # 0x463e4
leaq 0x27f73(%rip), %rdx     # 0x463ef
leaq -0x40(%rbp), %rdi
callq 0x1dab2
leaq -0x40(%rbp), %rsi
movq %rbx, %rdi
callq 0x3b7a8
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1e49f
callq 0xb280
leaq -0x40(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x27f37(%rip), %rsi     # 0x463e4
leaq 0x27f3b(%rip), %rdx     # 0x463ef
callq 0x1dab2
leaq -0x70(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x2702b(%rip), %rsi     # 0x454f3
leaq 0x27028(%rip), %rdx     # 0x454f7
leaq -0x80(%rbp), %rdi
callq 0x1dab2
leaq -0x50(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x27f08(%rip), %rsi     # 0x463f0
leaq 0x27f05(%rip), %rdx     # 0x463f4
leaq -0x60(%rbp), %rdi
callq 0x1dab2
leaq -0x40(%rbp), %rsi
leaq -0x80(%rbp), %rdx
leaq -0x60(%rbp), %rcx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x3b4f2
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x1e520
callq 0xb280
movq -0x80(%rbp), %rdi
cmpq %r15, %rdi
je 0x1e52e
callq 0xb280
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1e53c
callq 0xb280
leaq -0x40(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x27e9a(%rip), %rsi     # 0x463e4
leaq 0x27e9e(%rip), %rdx     # 0x463ef
callq 0x1dab2
leaq -0x80(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x27b16(%rip), %rsi     # 0x4607a
leaq 0x27b16(%rip), %rdx     # 0x46081
callq 0x1dab2
leaq -0x60(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x27e77(%rip), %rsi     # 0x463f5
leaq 0x27e75(%rip), %rdx     # 0x463fa
callq 0x1dab2
leaq -0x40(%rbp), %rsi
leaq -0x80(%rbp), %rdx
leaq -0x60(%rbp), %rcx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x3b4f2
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x1e5b2
callq 0xb280
movq -0x80(%rbp), %rdi
cmpq %r15, %rdi
je 0x1e5c0
callq 0xb280
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1e5ce
callq 0xb280
leaq -0x40(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x27e08(%rip), %rsi     # 0x463e4
leaq 0x27e0c(%rip), %rdx     # 0x463ef
callq 0x1dab2
leaq -0x80(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x27e05(%rip), %rsi     # 0x463fb
leaq 0x27e01(%rip), %rdx     # 0x463fe
callq 0x1dab2
leaq -0x60(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x27def(%rip), %rsi     # 0x463ff
leaq 0x27e0a(%rip), %rdx     # 0x46421
callq 0x1dab2
leaq -0x40(%rbp), %rsi
leaq -0x80(%rbp), %rdx
leaq -0x60(%rbp), %rcx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x3b4f2
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x1e644
callq 0xb280
movq -0x80(%rbp), %rdi
cmpq %r15, %rdi
je 0x1e652
callq 0xb280
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1e660
callq 0xb280
addq $0x60, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x1e67d
jmp 0x1e690
jmp 0x1e6a7
jmp 0x1e6ba
jmp 0x1e67d
jmp 0x1e690
jmp 0x1e6a7
jmp 0x1e6ba
movq %rax, %rbx
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x1e693
callq 0xb280
jmp 0x1e693
movq %rax, %rbx
movq -0x80(%rbp), %rdi
cmpq %r15, %rdi
je 0x1e6aa
callq 0xb280
jmp 0x1e6aa
jmp 0x1e6a7
jmp 0x1e6ba
movq %rax, %rbx
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1e6bd
callq 0xb280
jmp 0x1e6bd
movq %rax, %rbx
movq %rbx, %rdi
callq 0xb4e0