// File: /workspace/github_cpp_makefile_star2_O2/bobverity[P]MavericK/writeOut.cpp
// Function: printEvidenceDetails(globals&, int)
void printEvidenceDetails(globals &globals, int Kindex) {
    int K = globals.Kmin+Kindex;
    
    globals.outputEvidenceDetails_fileStream << K;
    
    // Structure estimator details
    for (int mainRep=0; mainRep<globals.mainRepeats; mainRep++) {
        globals.outputEvidenceDetails_fileStream << "," << process_nan(globals.structure_loglike_mean[Kindex][mainRep]);
    }
    for (int mainRep=0; mainRep<globals.mainRepeats; mainRep++) {
        globals.outputEvidenceDetails_fileStream << "," << process_nan(globals.structure_loglike_var[Kindex][mainRep]);
    }
    
    // thermodynamic integral estimator details
    if (globals.thermodynamic_on) {
        for (int TIrep=0; TIrep<globals.thermodynamicRungs; TIrep++) {
            globals.outputEvidenceDetails_fileStream << "," << process_nan(globals.TIpoint_mean[Kindex][TIrep]);
        }
        for (int TIrep=0; TIrep<globals.thermodynamicRungs; TIrep++) {
            globals.outputEvidenceDetails_fileStream << "," << process_nan(globals.TIpoint_SE[Kindex][TIrep]);
        }
    }
    
    globals.outputEvidenceDetails_fileStream << "\n";
    globals.outputEvidenceDetails_fileStream.flush();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %esi, %ebp
movq %rdi, %r14
movl 0x2bc8(%rdi), %esi
addl %ebp, %esi
leaq 0x1d70(%rdi), %rbx
movq %rbx, %rdi
callq 0x3570
movslq %ebp, %rax
xorl %r15d, %r15d
imulq $0x18, %rax, %rbp
leaq 0x8(%rsp), %r12
movslq 0x2c0c(%r14), %rax
cmpq %rax, %r15
jge 0x23bdd
movq %rbx, %rdi
leaq 0x369c(%rip), %rsi      # 0x27240
callq 0x3350
movq %rax, %r13
movq 0x2e60(%r14), %rax
movq (%rax,%rbp), %rax
movsd (%rax,%r15,8), %xmm0
movq %r12, %rdi
callq 0x161b8
movq %r13, %rdi
movq %r12, %rsi
callq 0x3310
movq %r12, %rdi
callq 0x3170
incq %r15
jmp 0x23b8e
xorl %r15d, %r15d
leaq 0x8(%rsp), %r12
cltq
cmpq %rax, %r15
jge 0x23c36
movq %rbx, %rdi
leaq 0x364a(%rip), %rsi      # 0x27240
callq 0x3350
movq %rax, %r13
movq 0x2e78(%r14), %rax
movq (%rax,%rbp), %rax
movsd (%rax,%r15,8), %xmm0
movq %r12, %rdi
callq 0x161b8
movq %r13, %rdi
movq %r12, %rsi
callq 0x3310
movq %r12, %rdi
callq 0x3170
incq %r15
movl 0x2c0c(%r14), %eax
jmp 0x23be5
cmpb $0x1, 0x2c1c(%r14)
jne 0x23cf4
xorl %r15d, %r15d
leaq 0x8(%rsp), %r12
movslq 0x2c20(%r14), %rax
cmpq %rax, %r15
jge 0x23c9b
movq %rbx, %rdi
leaq 0x35de(%rip), %rsi      # 0x27240
callq 0x3350
movq %rax, %r13
movq 0x2ed8(%r14), %rax
movq (%rax,%rbp), %rax
movsd (%rax,%r15,8), %xmm0
movq %r12, %rdi
callq 0x161b8
movq %r13, %rdi
movq %r12, %rsi
callq 0x3310
movq %r12, %rdi
callq 0x3170
incq %r15
jmp 0x23c4c
xorl %r15d, %r15d
leaq 0x8(%rsp), %r12
cltq
cmpq %rax, %r15
jge 0x23cf4
movq %rbx, %rdi
leaq 0x358c(%rip), %rsi      # 0x27240
callq 0x3350
movq %rax, %r13
movq 0x2f08(%r14), %rax
movq (%rax,%rbp), %rax
movsd (%rax,%r15,8), %xmm0
movq %r12, %rdi
callq 0x161b8
movq %r13, %rdi
movq %r12, %rsi
callq 0x3310
movq %r12, %rdi
callq 0x3170
incq %r15
movl 0x2c20(%r14), %eax
jmp 0x23ca3
leaq 0x3bc0(%rip), %rsi      # 0x278bb
movq %rbx, %rdi
callq 0x3350
movq %rbx, %rdi
callq 0x3230
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x23d20
jmp 0x23d20
jmp 0x23d20
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x3170
movq %rbx, %rdi
callq 0x35a0