// File: /workspace/github_c_makefile_star2_O0/justy989[P]ce/ce_json.c
// Function: array_print
static void _array_print(CeJsonArray_t* array, char* string, PrintState_t* print_state,
                         uint64_t current_indent, uint64_t indent){
     char indentation[MAX_INDENTATION];
     _make_indentation(indentation, MAX_INDENTATION, current_indent);
     _print_state_update(print_state, snprintf(string + print_state->printed, print_state->remaining, "[\n"));

     char field_indentation[MAX_INDENTATION];
     _make_indentation(field_indentation, MAX_INDENTATION, current_indent + indent);
     // This is fine to wrap arround because we won't go into the loop.
     int64_t last_index = (array->count - 1);
     for(int64_t i = 0; i < array->count; i++){
          CeJsonValue_t* value = array->values + i;
          _print_state_update(print_state, snprintf(string + print_state->printed,
                                                    print_state->remaining, "%s",
                                                    field_indentation));
          _value_print(value, string, print_state, current_indent + indent, indent);
          if(i != last_index){
               _print_state_update(print_state, snprintf(string + print_state->printed,
                                                         print_state->remaining, ",\n"));
          }else{
               _print_state_update(print_state, snprintf(string + print_state->printed,
                                                         print_state->remaining, "\n"));
          }
     }
     _print_state_update(print_state, snprintf(string + print_state->printed, print_state->remaining, "%s]", indentation));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x870, %rsp            # imm = 0x870
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
leaq -0x430(%rbp), %rdi
movq -0x20(%rbp), %rdx
movl $0x400, %esi            # imm = 0x400
callq 0x26870
movq -0x18(%rbp), %rax
movq %rax, -0x850(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
addq (%rax), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rsi
leaq 0x1db2c(%rip), %rdx     # 0x446f5
movb $0x0, %al
callq 0xd250
movq -0x850(%rbp), %rdi
movslq %eax, %rsi
callq 0x25e40
leaq -0x830(%rbp), %rdi
movq -0x20(%rbp), %rdx
addq -0x28(%rbp), %rdx
movl $0x400, %esi            # imm = 0x400
callq 0x26870
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
subq $0x1, %rax
movq %rax, -0x838(%rbp)
movq $0x0, -0x840(%rbp)
movq -0x840(%rbp), %rax
movq -0x8(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jge 0x26d47
movq -0x8(%rbp), %rax
movq (%rax), %rax
imulq $0x18, -0x840(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x848(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x858(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
addq (%rax), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rsi
leaq -0x830(%rbp), %rcx
leaq 0x1ef6a(%rip), %rdx     # 0x45bda
movb $0x0, %al
callq 0xd250
movq -0x858(%rbp), %rdi
movslq %eax, %rsi
callq 0x25e40
movq -0x848(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
movq -0x20(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x28(%rbp), %r8
callq 0x269a0
movq -0x840(%rbp), %rax
cmpq -0x838(%rbp), %rax
je 0x26cf3
movq -0x18(%rbp), %rax
movq %rax, -0x860(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
addq (%rax), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rsi
leaq 0x1d9ef(%rip), %rdx     # 0x446ca
movb $0x0, %al
callq 0xd250
movq -0x860(%rbp), %rdi
movslq %eax, %rsi
callq 0x25e40
jmp 0x26d2e
movq -0x18(%rbp), %rax
movq %rax, -0x868(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
addq (%rax), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rsi
leaq 0x1d190(%rip), %rdx     # 0x43ea8
movb $0x0, %al
callq 0xd250
movq -0x868(%rbp), %rdi
movslq %eax, %rsi
callq 0x25e40
jmp 0x26d30
movq -0x840(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x840(%rbp)
jmp 0x26c16
movq -0x18(%rbp), %rax
movq %rax, -0x870(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
addq (%rax), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rsi
leaq -0x430(%rbp), %rcx
leaq 0x1d985(%rip), %rdx     # 0x446f8
movb $0x0, %al
callq 0xd250
movq -0x870(%rbp), %rdi
movslq %eax, %rsi
callq 0x25e40
addq $0x870, %rsp            # imm = 0x870
popq %rbp
retq
nopw %cs:(%rax,%rax)