// File: chfeder[P]turbulence_generator/./TurbGen.h
// Function: TurbGen::write_to_evol_file(double, double const*, double const*)
bool write_to_evol_file(const double time, const double ampl_factor[], const double v_turb[]) {
        if (verbose > 1) TurbGen_printf("Writing to evolution file: time = %e, time/t_turb = %-7.2f\n", time, time/t_decay);
        std::ofstream outfilestream(evolfile.c_str(), std::ios::app);
        outfilestream.precision(16);
        outfilestream   << std::scientific << std::setw(24) << time << std::setw(24) << time/t_decay
                        << std::setw(24) << pow(ampl_factor[X],1.0/1.5) << std::setw(24) << pow(ampl_factor[Y],1.0/1.5) << std::setw(24) << pow(ampl_factor[Z],1.0/1.5)
                        << std::setw(24) << v_turb[X] << std::setw(24) << v_turb[Y] << std::setw(24) << v_turb[Z]
                        << std::endl;
        outfilestream.close();
        outfilestream.clear();
        return true;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x310, %rsp            # imm = 0x310
movq %rdi, -0x8(%rbp)
movsd %xmm0, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x280(%rbp)
cmpl $0x1, (%rax)
jle 0x126c6
leaq -0x41(%rbp), %rdi
movq %rdi, -0x288(%rbp)
callq 0x3560
movq -0x288(%rbp), %rdx
leaq 0x3b11(%rip), %rsi      # 0x1615f
leaq -0x40(%rbp), %rdi
callq 0x4620
jmp 0x12659
movq -0x280(%rbp), %rdi
movsd -0x10(%rbp), %xmm0
movsd 0x198(%rdi), %xmm2
movaps %xmm0, %xmm1
divsd %xmm2, %xmm1
leaq -0x40(%rbp), %rsi
movb $0x2, %al
callq 0x99f0
jmp 0x12681
leaq -0x40(%rbp), %rdi
callq 0x31e0
leaq -0x41(%rbp), %rdi
callq 0x3350
jmp 0x126c6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x126b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x31e0
leaq -0x41(%rbp), %rdi
callq 0x3350
jmp 0x12a10
movq -0x280(%rbp), %rdi
addq $0x218, %rdi            # imm = 0x218
callq 0x3120
movq %rax, %rsi
leaq -0x258(%rbp), %rdi
movl $0x1, %edx
callq 0x3360
movq -0x258(%rbp), %rax
movq -0x18(%rax), %rax
leaq -0x258(%rbp,%rax), %rdi
movl $0x10, %esi
callq 0x12a20
jmp 0x1270c
leaq 0x33d(%rip), %rsi       # 0x12a50
leaq -0x258(%rbp), %rdi
callq 0x30f0
movq %rax, -0x290(%rbp)
jmp 0x12728
movl $0x18, %edi
callq 0xec50
movq -0x290(%rbp), %rdi
movl %eax, -0x25c(%rbp)
movl -0x25c(%rbp), %esi
callq 0x3390
movq %rax, -0x298(%rbp)
jmp 0x12753
movq -0x298(%rbp), %rdi
movsd -0x10(%rbp), %xmm0
callq 0x35b0
movq %rax, -0x2a0(%rbp)
jmp 0x1276d
movl $0x18, %edi
callq 0xec50
movq -0x2a0(%rbp), %rdi
movl %eax, -0x260(%rbp)
movl -0x260(%rbp), %esi
callq 0x3390
movq %rax, -0x2a8(%rbp)
jmp 0x12798
movq -0x2a8(%rbp), %rdi
movq -0x280(%rbp), %rax
movsd -0x10(%rbp), %xmm0
movsd 0x198(%rax), %xmm1
divsd %xmm1, %xmm0
callq 0x35b0
movq %rax, -0x2b0(%rbp)
jmp 0x127c5
movl $0x18, %edi
callq 0xec50
movq -0x2b0(%rbp), %rdi
movl %eax, -0x264(%rbp)
movl -0x264(%rbp), %esi
callq 0x3390
movq %rax, -0x2b8(%rbp)
jmp 0x127f0
movq -0x18(%rbp), %rax
movsd (%rax), %xmm0
movsd 0x28c0(%rip), %xmm1     # 0x150c0
callq 0x3540
movq -0x2b8(%rbp), %rdi
callq 0x35b0
movq %rax, -0x2c0(%rbp)
jmp 0x1281a
movl $0x18, %edi
callq 0xec50
movq -0x2c0(%rbp), %rdi
movl %eax, -0x268(%rbp)
movl -0x268(%rbp), %esi
callq 0x3390
movq %rax, -0x2c8(%rbp)
jmp 0x12845
movq -0x18(%rbp), %rax
movsd 0x8(%rax), %xmm0
movsd 0x286a(%rip), %xmm1     # 0x150c0
callq 0x3540
movq -0x2c8(%rbp), %rdi
callq 0x35b0
movq %rax, -0x2d0(%rbp)
jmp 0x12870
movl $0x18, %edi
callq 0xec50
movq -0x2d0(%rbp), %rdi
movl %eax, -0x26c(%rbp)
movl -0x26c(%rbp), %esi
callq 0x3390
movq %rax, -0x2d8(%rbp)
jmp 0x1289b
movq -0x18(%rbp), %rax
movsd 0x10(%rax), %xmm0
movsd 0x2814(%rip), %xmm1     # 0x150c0
callq 0x3540
movq -0x2d8(%rbp), %rdi
callq 0x35b0
movq %rax, -0x2e0(%rbp)
jmp 0x128c6
movl $0x18, %edi
callq 0xec50
movq -0x2e0(%rbp), %rdi
movl %eax, -0x270(%rbp)
movl -0x270(%rbp), %esi
callq 0x3390
movq %rax, -0x2e8(%rbp)
jmp 0x128f1
movq -0x2e8(%rbp), %rdi
movq -0x20(%rbp), %rax
movsd (%rax), %xmm0
callq 0x35b0
movq %rax, -0x2f0(%rbp)
jmp 0x1290e
movl $0x18, %edi
callq 0xec50
movq -0x2f0(%rbp), %rdi
movl %eax, -0x274(%rbp)
movl -0x274(%rbp), %esi
callq 0x3390
movq %rax, -0x2f8(%rbp)
jmp 0x12939
movq -0x2f8(%rbp), %rdi
movq -0x20(%rbp), %rax
movsd 0x8(%rax), %xmm0
callq 0x35b0
movq %rax, -0x300(%rbp)
jmp 0x12957
movl $0x18, %edi
callq 0xec50
movq -0x300(%rbp), %rdi
movl %eax, -0x278(%rbp)
movl -0x278(%rbp), %esi
callq 0x3390
movq %rax, -0x308(%rbp)
jmp 0x12982
movq -0x308(%rbp), %rdi
movq -0x20(%rbp), %rax
movsd 0x10(%rax), %xmm0
callq 0x35b0
movq %rax, -0x310(%rbp)
jmp 0x129a0
movq -0x310(%rbp), %rdi
movq 0x861a(%rip), %rsi      # 0x1afc8
callq 0x3320
jmp 0x129b5
leaq -0x258(%rbp), %rdi
callq 0x3480
jmp 0x129c3
movq -0x258(%rbp), %rax
movq -0x18(%rax), %rax
leaq -0x258(%rbp,%rax), %rdi
xorl %esi, %esi
callq 0x3520
jmp 0x129df
leaq -0x258(%rbp), %rdi
callq 0x34a0
movb $0x1, %al
andb $0x1, %al
addq $0x310, %rsp            # imm = 0x310
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x258(%rbp), %rdi
callq 0x34a0
movq -0x50(%rbp), %rdi
callq 0x3550
nopl (%rax)