user: Converte this assembly snippet into its equivalent C code:

```asm
<push_string>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    -0x18(%rbp),%rax
  mov    %rax,%rcx
  mov    $0x12,%edx
  mov    $0x1,%esi
  lea    D26(%rip),%rax
  mov    %rax,%rdi
  call   <fwrite@plt>
  mov    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,-0x4(%rbp)
  mov    -0x4(%rbp),%eax
  cltd
  shr    $0x1f,%edx
  add    %edx,%eax
  and    $0x1,%eax
  sub    %edx,%eax
  test   %eax,%eax
  jle    L34
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x1(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%ecx
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x1(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%edx
  mov    -0x18(%rbp),%rax
  lea    D18(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <fprintf@plt>
  mov    -0x18(%rbp),%rax
  mov    %rax,%rcx
  mov    $0x31,%edx
  mov    $0x1,%esi
  lea    D47(%rip),%rax
  mov    %rax,%rdi
  call   <fwrite@plt>
  subl   $0x1,-0x4(%rbp)
  jmp    L34
L35:
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x1(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%r9d
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x2(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%r8d
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x3(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%edi
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x4(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%esi
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x1(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%r11d
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x2(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%r10d
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x3(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%ecx
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x4(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%edx
  mov    -0x18(%rbp),%rax
  push   %r9
  push   %r8
  push   %rdi
  push   %rsi
  mov    %r11d,%r9d
  mov    %r10d,%r8d
  lea    D20(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <fprintf@plt>
  add    $0x20,%rsp
  subl   $0x4,-0x4(%rbp)
L34:
  cmpl   $0x3,-0x4(%rbp)
  jg     L35
  cmpl   $0x1,-0x4(%rbp)
  jle    L36
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x1(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%edi
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x2(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%esi
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x1(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%ecx
  mov    -0x4(%rbp),%eax
  cltq
  lea    -0x2(%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movsbl %al,%edx
  mov    -0x18(%rbp),%rax
  mov    %edi,%r9d
  mov    %esi,%r8d
  lea    D7(%rip),%rsi
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <fprintf@plt>
  subl   $0x2,-0x4(%rbp)
L36:
  nop
  leave
  ret
```

tool_calls: name: parse_data
arguments: data_tag: D26
type_infered: string
name: parse_data
arguments: data_tag: D18
type_infered: string
name: parse_data
arguments: data_tag: D47
type_infered: string
name: parse_data
arguments: data_tag: D20
type_infered: string
name: parse_data
arguments: data_tag: D7
type_infered: string

tool: D26: "\x50" //push eax


tool: D18: "\xb0\x%x" //movb al, '%c'


tool: D47: "\x66\x50" //pushw ax
 "\x31\xc0" //xor eax, eax


tool: D20: "\x68\x%x\x%x\x%x\x%x" //push '%c%c%c%c'


tool: D7: "\x66\x68\x%x\x%x" //pushw '%c%c'


assistant: ```c
void push_string(FILE *f, char *string) {
  fprintf(f, "\"\\x50\" //push eax\n");
  int left = strlen(string);
  if (left % 2 > 0) {
    fprintf(f, "\"\\xb0\\x%x\" //movb al, '%c'\n", string[left - 1], string[left - 1]);
    fprintf(f, "\"\\x66\\x50\" //pushw ax\n \"\\x31\\xc0\" //xor eax, eax\n");
    left = left - 1;
  }
  while (left / 4 > 0) {
    fprintf(f, "\"\\x68\\x%x\\x%x\\x%x\\x%x\" //push '%c%c%c%c'\n", string[left - 4], string[left - 3], string[left - 2], string[left - 1], string[left - 4], string[left - 3], string[left - 2], string[left - 1]);
    left = left - 4;
  }
  if (left / 2 > 0) {
    fprintf(f, "\"\\x66\\x68\\x%x\\x%x\" //pushw '%c%c'\n", string[left - 2], string[left - 1], string[left - 2], string[left - 1]);
    left = left - 2;
  }
}
```