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

```asm
<main>:
  endbr64
  sub    $0x48,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  lea    0x20(%rsp),%rcx
  lea    0x18(%rsp),%rdx
  lea    0x10(%rsp),%rsi
  lea    0x28(%rsp),%r8
  lea    D103(%rip),%rdi
  call   <scanf@plt>
  movsd  0x10(%rsp),%xmm0
  addsd  %xmm0,%xmm0
  movsd  D74(%rip),%xmm1
  mulsd  0x18(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  D108(%rip),%xmm1
  mulsd  0x20(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  addsd  0x28(%rsp),%xmm0
  divsd  D85(%rip),%xmm0
  movsd  %xmm0,0x8(%rsp)
  lea    D116(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm3
  comisd D55(%rip),%xmm3
  jae    L41
  movsd  0x8(%rsp),%xmm2
  comisd D15(%rip),%xmm2
  jb     L42
  lea    D119(%rip),%rdi
  call   <puts@plt>
  lea    0x30(%rsp),%rsi
  lea    D72(%rip),%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  movsd  0x30(%rsp),%xmm0
  lea    D139(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  0x8(%rsp),%xmm0
  mulsd  D6(%rip),%xmm0
  addsd  0x30(%rsp),%xmm0
  comisd D15(%rip),%xmm0
  jbe    L49
  lea    D37(%rip),%rdi
  call   <puts@plt>
L52:
  movsd  0x8(%rsp),%xmm0
  addsd  0x30(%rsp),%xmm0
  mulsd  D6(%rip),%xmm0
  lea    D68(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
L57:
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L56
  mov    $0x0,%eax
  add    $0x48,%rsp
  ret
L41:
  lea    D37(%rip),%rdi
  call   <puts@plt>
  jmp    L57
L49:
  lea    D34(%rip),%rdi
  call   <puts@plt>
  jmp    L52
L42:
  lea    D34(%rip),%rdi
  call   <puts@plt>
  jmp    L57
L56:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: label: D103
type_infered: string
name: unpack_data
arguments: label: D74
type_infered: byte[8]
name: unpack_data
arguments: label: D108
type_infered: byte[8]
name: unpack_data
arguments: label: D85
type_infered: byte[8]
name: unpack_data
arguments: label: D116
type_infered: string
name: unpack_data
arguments: label: D55
type_infered: f64[2]
name: unpack_data
arguments: label: D15
type_infered: f64[2]
name: unpack_data
arguments: label: D119
type_infered: string
name: unpack_data
arguments: label: D72
type_infered: string
name: unpack_data
arguments: label: D139
type_infered: string
name: unpack_data
arguments: label: D6
type_infered: byte[8]
name: unpack_data
arguments: label: D37
type_infered: string
name: unpack_data
arguments: label: D68
type_infered: string
name: unpack_data
arguments: label: D34
type_infered: string

tool: D103: %lf %lf %lf %lf

tool: {"D74": [0x00,0x00,0x00,0x00,0x00,0x00,0x08,0x40]}

tool: {"D108": [0x00,0x00,0x00,0x00,0x00,0x00,0x10,0x40]}

tool: {"D85": [0x00,0x00,0x00,0x00,0x00,0x00,0x24,0x40]}

tool: D116: Media: %.1f


tool: {"D55": [7.0,5.0]}

tool: {"D15": [5.0,0.5]}

tool: D119: Aluno em exame.

tool: D72: %lf

tool: D139: Nota do exame: %.1f


tool: {"D6": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

tool: D37: Aluno aprovado.

tool: D68: Media final: %.1f


tool: D34: Aluno reprovado.

assistant: ```c
int main() {
  double a, b, c, d, last, m;
  scanf("%lf %lf %lf %lf", &a, &b, &c, &d);
  m = (a * 2 + b * 3 + c * 4 + d) / 10;
  printf("Media: %.1f\n", m);
  if (m >= 7.0) {
    printf("Aluno aprovado.\n");
  } else if (m >= 5.0) {
    printf("Aluno em exame.\n");
    scanf("%lf", &last);
    printf("Nota do exame: %.1f\n", last);
    if (last + m / 2.0 > 5.0) {
      printf("Aluno aprovado.\n");
    } else {
      printf("Aluno reprovado.\n");
    }
    printf("Media final: %.1f\n", (last + m) / 2.0);
  } else {
    printf("Aluno reprovado.\n");
  }
  return 0;
}
```