user: What would the C source look like for the assembly code provided here?

```asm
<zjisti>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %edi,-0x14(%rbp)
  mov    %esi,-0x18(%rbp)
  mov    %edx,-0x1c(%rbp)
  mov    %ecx,-0x20(%rbp)
  movl   $0x0,-0x4(%rbp)
  lea    D13(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    -0x20(%rbp),%esi
  mov    -0x1c(%rbp),%ecx
  mov    -0x18(%rbp),%edx
  mov    -0x14(%rbp),%eax
  mov    %esi,%r8d
  mov    %eax,%esi
  lea    D15(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D13(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    -0x18(%rbp),%eax
  cmp    -0x1c(%rbp),%eax
  jle    L27
  mov    $0x0,%eax
  jmp    L60
L27:
  mov    -0x18(%rbp),%eax
  cmp    -0x1c(%rbp),%eax
  jne    L38
  lea    D22(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    -0x14(%rbp),%eax
  jmp    L60
L38:
  mov    -0x14(%rbp),%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x14(%rbp),%eax
  mov    %eax,%edi
  call   <vstup@plt>
  test   %rax,%rax
  je     L14
  mov    -0x14(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x1c(%rbp),%eax
  sub    -0x14(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  add    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  cmp    -0x20(%rbp),%eax
  jne    L92
  addl   $0x1,-0x14(%rbp)
L92:
  mov    -0x20(%rbp),%ecx
  mov    -0x1c(%rbp),%edx
  mov    -0x18(%rbp),%esi
  mov    -0x14(%rbp),%eax
  mov    %eax,%edi
  call   <zjisti>
  mov    %eax,-0x4(%rbp)
  jmp    L62
L14:
  mov    -0x14(%rbp),%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x14(%rbp),%eax
  sub    -0x18(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  neg    %eax
  add    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  cmp    -0x20(%rbp),%eax
  jne    L12
  cmpl   $0x4,-0x14(%rbp)
  jg     L12
  mov    -0x18(%rbp),%eax
  cmp    -0x1c(%rbp),%eax
  je     L12
  subl   $0x1,-0x14(%rbp)
L12:
  mov    -0x20(%rbp),%ecx
  mov    -0x1c(%rbp),%edx
  mov    -0x18(%rbp),%esi
  mov    -0x14(%rbp),%eax
  mov    %eax,%edi
  call   <zjisti>
  mov    %eax,-0x4(%rbp)
L62:
  mov    -0x4(%rbp),%eax
L60:
  leave
  ret
```

tool_calls: name: read_data
arguments: data_tag: D13
datatype: string
name: read_data
arguments: data_tag: D15
datatype: string
name: read_data
arguments: data_tag: D22
datatype: string

tool: D13:                                 -------------------------------------

tool: D15:                                 %d cislo, %d min, %d max, %d odl


tool: D22:   Heureka!

assistant: ```c
int zjisti(int cislo, int min, int max, int old) {
  int zjisteno = 0;
  printf("                                -------------------------------------\n");
  printf("                                %d cislo, %d min, %d max, %d odl\n", cislo, min, max, old);
  printf("                                -------------------------------------\n");
  if (min > max) {
    return 0;
  }
  if (min == max) {
    printf("  Heureka!\n");
    return cislo;
  }
  old = cislo;
  if (vstup(cislo)) {
    min = cislo + 1;
    cislo += (max - cislo) / 2;
    if (cislo == old) {
      cislo++;
    }
    zjisteno = zjisti(cislo, min, max, old);
  } else {
    max = cislo;
    cislo -= (cislo - min) / 2;
    if (cislo == old && cislo < 5 && min != max) {
      cislo--;
    }
    zjisteno = zjisti(cislo, min, max, old);
  }
  return zjisteno;
}
```