// File: /workspace/github_cpp_makefile_star2_O1/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 0x2876b(%rip), %rsi     # 0x483d4
leaq 0x2876f(%rip), %rdx     # 0x483df
leaq -0x40(%rbp), %rdi
callq 0x1f29e
leaq -0x40(%rbp), %rsi
movq %rbx, %rdi
callq 0x3d750
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1fc93
callq 0xc280
leaq -0x40(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x28733(%rip), %rsi     # 0x483d4
leaq 0x28737(%rip), %rdx     # 0x483df
callq 0x1f29e
leaq -0x70(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x27827(%rip), %rsi     # 0x474e3
leaq 0x27824(%rip), %rdx     # 0x474e7
leaq -0x80(%rbp), %rdi
callq 0x1f29e
leaq -0x50(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x28704(%rip), %rsi     # 0x483e0
leaq 0x28701(%rip), %rdx     # 0x483e4
leaq -0x60(%rbp), %rdi
callq 0x1f29e
leaq -0x40(%rbp), %rsi
leaq -0x80(%rbp), %rdx
leaq -0x60(%rbp), %rcx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x3d45c
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x1fd14
callq 0xc280
movq -0x80(%rbp), %rdi
cmpq %r15, %rdi
je 0x1fd22
callq 0xc280
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1fd30
callq 0xc280
leaq -0x40(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x28696(%rip), %rsi     # 0x483d4
leaq 0x2869a(%rip), %rdx     # 0x483df
callq 0x1f29e
leaq -0x80(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x28312(%rip), %rsi     # 0x4806a
leaq 0x28312(%rip), %rdx     # 0x48071
callq 0x1f29e
leaq -0x60(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x28673(%rip), %rsi     # 0x483e5
leaq 0x28671(%rip), %rdx     # 0x483ea
callq 0x1f29e
leaq -0x40(%rbp), %rsi
leaq -0x80(%rbp), %rdx
leaq -0x60(%rbp), %rcx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x3d45c
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x1fda6
callq 0xc280
movq -0x80(%rbp), %rdi
cmpq %r15, %rdi
je 0x1fdb4
callq 0xc280
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1fdc2
callq 0xc280
leaq -0x40(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x28604(%rip), %rsi     # 0x483d4
leaq 0x28608(%rip), %rdx     # 0x483df
callq 0x1f29e
leaq -0x80(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x28601(%rip), %rsi     # 0x483eb
leaq 0x285fd(%rip), %rdx     # 0x483ee
callq 0x1f29e
leaq -0x60(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x285eb(%rip), %rsi     # 0x483ef
leaq 0x28606(%rip), %rdx     # 0x48411
callq 0x1f29e
leaq -0x40(%rbp), %rsi
leaq -0x80(%rbp), %rdx
leaq -0x60(%rbp), %rcx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x3d45c
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x1fe38
callq 0xc280
movq -0x80(%rbp), %rdi
cmpq %r15, %rdi
je 0x1fe46
callq 0xc280
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1fe54
callq 0xc280
addq $0x60, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x1fe71
jmp 0x1fe84
jmp 0x1fe9b
jmp 0x1feae
jmp 0x1fe71
jmp 0x1fe84
jmp 0x1fe9b
jmp 0x1feae
movq %rax, %rbx
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x1fe87
callq 0xc280
jmp 0x1fe87
movq %rax, %rbx
movq -0x80(%rbp), %rdi
cmpq %r15, %rdi
je 0x1fe9e
callq 0xc280
jmp 0x1fe9e
jmp 0x1fe9b
jmp 0x1feae
movq %rax, %rbx
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0x1feb1
callq 0xc280
jmp 0x1feb1
movq %rax, %rbx
movq %rbx, %rdi
callq 0xc4e0