user: Please show me the C implementation that matches the assembly code listed below:

```asm
<afficheTempRestant>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edi,%ebx
  sub    $0x38,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  call   <largeurFenetre@plt>
  mov    %eax,%r14d
  xor    %eax,%eax
  call   <hauteurFenetre@plt>
  mov    %eax,%r13d
  xor    %eax,%eax
  call   <largeurFenetre@plt>
  mov    %eax,%r15d
  xor    %eax,%eax
  call   <hauteurFenetre@plt>
  mov    %eax,%r12d
  xor    %eax,%eax
  call   <largeurFenetre@plt>
  mov    %eax,%ebp
  xor    %eax,%eax
  call   <hauteurFenetre@plt>
  xor    %esi,%esi
  mov    %r15d,%ecx
  cmp    %r13d,%r14d
  cmovl  %esi,%ecx
  pxor   %xmm3,%xmm3
  lea    0x1e(%rsp),%r13
  lea    D13(%rip),%r14
  movslq %ecx,%rdx
  sar    $0x1f,%ecx
  imul   $0x2aaaaaab,%rdx,%rdx
  shr    $0x20,%rdx
  sub    %ecx,%edx
  cmp    %ebp,%r12d
  lea    0x23(%rsp),%r12
  cmovle %esi,%eax
  movslq %eax,%rcx
  sar    $0x1f,%eax
  imul   $0x2aaaaaab,%rcx,%rcx
  shr    $0x20,%rcx
  sub    %eax,%ecx
  lea    (%rdx,%rcx,1),%eax
  cvtsi2ss %eax,%xmm3
  lea    0x1(%rbx),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  and    $0x1,%eax
  movd   %xmm3,%ebp
  sub    %edx,%eax
  lea    0x2(%rax,%rax,1),%edi
  call   <gestionDuree@plt>
  mov    $0x3,%edi
  call   <gestionDuree@plt>
  mov    %r14,%rsi
  mov    %r13,%rdi
  mov    %eax,%edx
  call   <sprintf@plt>
  mov    $0x5,%edi
  call   <gestionDuree@plt>
  mov    %r14,%rsi
  mov    %r12,%rdi
  mov    %eax,%edx
  call   <sprintf@plt>
  mov    $0xff,%edx
  mov    $0xff,%esi
  mov    $0xf0,%edi
  call   <couleurCourante@plt>
  xor    %eax,%eax
  call   <hauteurFenetre@plt>
  movd   %ebp,%xmm0
  mov    %r13,%rdi
  movd   %ebp,%xmm2
  shl    $0x3,%eax
  divss  D9(%rip),%xmm0
  cvttss2si %xmm0,%esi
  divss  D27(%rip),%xmm2
  movslq %eax,%rdx
  sar    $0x1f,%eax
  movaps %xmm2,%xmm0
  movss  %xmm2,0xc(%rsp)
  imul   $0x66666667,%rdx,%rdx
  sar    $0x22,%rdx
  sub    %eax,%edx
  call   <afficheChaine@plt>
  xor    %eax,%eax
  call   <hauteurFenetre@plt>
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <largeurFenetre@plt>
  pxor   %xmm1,%xmm1
  movd   %ebp,%xmm0
  mov    %r12,%rdi
  mov    %eax,%r8d
  lea    0x0(,%rbx,8),%eax
  movss  0xc(%rsp),%xmm2
  cvtsi2ss %r8d,%xmm1
  mulss  D48(%rip),%xmm0
  movslq %eax,%rdx
  sar    $0x1f,%eax
  divss  D9(%rip),%xmm0
  imul   $0x66666667,%rdx,%rdx
  subss  %xmm0,%xmm1
  sar    $0x22,%rdx
  movaps %xmm2,%xmm0
  sub    %eax,%edx
  cvttss2si %xmm1,%esi
  call   <afficheChaine@plt>
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L7:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: label: D13
type_guessed: string
name: unpack_data
arguments: label: D9
type_guessed: byte[4]
name: unpack_data
arguments: label: D27
type_guessed: f32
name: unpack_data
arguments: label: D48
type_guessed: byte[4]

tool: D13: %d

tool: {"D9": [0x00,0x00,0x20,0x41]}

tool: D27: 6

tool: {"D48": [0x00,0x00,0x10,0x41]}

assistant: ```c
void afficheTempRestant(int joueurActuel) {
  float taille = (largeurFenetre() >= hauteurFenetre()) * largeurFenetre() / 6 + (hauteurFenetre() > largeurFenetre()) * hauteurFenetre() / 6;
  gestionDuree(((joueurActuel + 1) % 2) * 2 + 2);
  char tempJ1[5];
  char tempJ2[5];
  sprintf(tempJ1, "%d", gestionDuree(3));
  sprintf(tempJ2, "%d", gestionDuree(5));
  couleurCourante(240, 255, 255);
  afficheChaine(tempJ1, taille / 6, taille / 10, hauteurFenetre() * 8 / 10);
  afficheChaine(tempJ2, taille / 6, largeurFenetre() - 9 * taille / 10, hauteurFenetre() * 8 / 10);
}
```