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

```asm
<multiply>:
  endbr64
  push   %r14
  mov    %rsi,%r10
  mov    %rdi,%r8
  movabs $0x89705f3112a28fe5,%rcx
  push   %r13
  mov    0x8(%r8),%r9
  push   %r12
  push   %rbp
  push   %rbx
  mov    (%rdi),%rsi
  mov    0x18(%r10),%r11
  mov    %rsi,%rax
  imul   %rcx
  mov    %rsi,%rax
  sar    $0x3f,%rax
  lea    (%rdx,%rsi,1),%rdi
  sar    $0x1d,%rdi
  sub    %rax,%rdi
  imul   $0x3b9aca07,%rdi,%rax
  mov    %rsi,%rdi
  mov    (%r10),%rsi
  sub    %rax,%rdi
  mov    %rsi,%rax
  imul   %rcx
  mov    %rsi,%rax
  sar    $0x3f,%rax
  lea    (%rdx,%rsi,1),%rbp
  sar    $0x1d,%rbp
  sub    %rax,%rbp
  imul   $0x3b9aca07,%rbp,%rax
  sub    %rax,%rsi
  mov    %r9,%rax
  imul   %rcx
  mov    %rsi,%rbp
  mov    %r9,%rax
  sar    $0x3f,%rax
  lea    (%rdx,%r9,1),%rsi
  sar    $0x1d,%rsi
  mov    %rsi,%rbx
  mov    0x10(%r10),%rsi
  sub    %rax,%rbx
  imul   $0x3b9aca07,%rbx,%rax
  mov    %r9,%rbx
  sub    %rax,%rbx
  mov    %rsi,%rax
  imul   %rcx
  mov    %rsi,%rax
  mov    %rbx,%r14
  sar    $0x3f,%rax
  lea    (%rdx,%rsi,1),%r12
  sar    $0x1d,%r12
  sub    %rax,%r12
  imul   $0x3b9aca07,%r12,%rax
  sub    %rax,%rsi
  mov    %rsi,%r12
  mov    0x8(%r10),%rsi
  mov    %r11,%r10
  mov    %rsi,%rax
  imul   %rcx
  mov    %rsi,%rax
  sar    $0x3f,%rax
  lea    (%rdx,%rsi,1),%r9
  sar    $0x1d,%r9
  sub    %rax,%r9
  imul   $0x3b9aca07,%r9,%rax
  sub    %rax,%rsi
  mov    %r11,%rax
  imul   %rcx
  mov    %rsi,%r9
  mov    %r11,%rax
  lea    (%rdx,%r11,1),%rsi
  sar    $0x1d,%rsi
  sar    $0x3f,%rax
  imul   %r12,%r14
  sub    %rax,%rsi
  imul   $0x3b9aca07,%rsi,%rax
  mov    0x10(%r8),%rsi
  sub    %rax,%r10
  mov    %rsi,%rax
  imul   %rcx
  mov    %rsi,%rax
  sar    $0x3f,%rax
  lea    (%rdx,%rsi,1),%r13
  sar    $0x1d,%r13
  sub    %rax,%r13
  imul   $0x3b9aca07,%r13,%rax
  sub    %rax,%rsi
  mov    %rsi,%r13
  mov    0x18(%r8),%rsi
  mov    %rsi,%rax
  imul   %rcx
  mov    %rsi,%rax
  sar    $0x3f,%rax
  lea    (%rdx,%rsi,1),%r11
  sar    $0x1d,%r11
  sub    %rax,%r11
  imul   $0x3b9aca07,%r11,%rax
  sub    %rax,%rsi
  mov    %rsi,%r11
  mov    %rdi,%rsi
  imul   %rbp,%rsi
  mov    %rsi,%rax
  imul   %rcx
  mov    %rsi,%rax
  sar    $0x3f,%rax
  add    %rsi,%rdx
  sar    $0x1d,%rdx
  sub    %rax,%rdx
  mov    %r14,%rax
  imul   $0x3b9aca07,%rdx,%rdx
  sub    %rdx,%rsi
  imul   %rcx
  mov    %r14,%rax
  sar    $0x3f,%rax
  add    %r14,%rdx
  sar    $0x1d,%rdx
  sub    %rax,%rdx
  imul   $0x3b9aca07,%rdx,%rdx
  sub    %rdx,%r14
  add    %r14,%rsi
  imul   %r9,%rdi
  imul   %r10,%rbx
  mov    %rsi,(%r8)
  imul   %r13,%rbp
  mov    %rdi,%rax
  imul   %r11,%r12
  imul   %rcx
  mov    %rdi,%rax
  mov    %rbx,%rsi
  sar    $0x3f,%rax
  add    %rdi,%rdx
  sar    $0x1d,%rdx
  sub    %rax,%rdx
  mov    %rbx,%rax
  imul   $0x3b9aca07,%rdx,%rdx
  sub    %rdx,%rdi
  imul   %rcx
  mov    %rbx,%rax
  sar    $0x3f,%rax
  add    %rbx,%rdx
  pop    %rbx
  sar    $0x1d,%rdx
  sub    %rax,%rdx
  mov    %rbp,%rax
  imul   $0x3b9aca07,%rdx,%rdx
  sub    %rdx,%rsi
  imul   %rcx
  mov    %rbp,%rax
  sar    $0x3f,%rax
  add    %rsi,%rdi
  mov    %r10,%rsi
  mov    %rdi,0x8(%r8)
  add    %rbp,%rdx
  sar    $0x1d,%rdx
  sub    %rax,%rdx
  mov    %r12,%rax
  imul   $0x3b9aca07,%rdx,%rdx
  sub    %rdx,%rbp
  imul   %rcx
  mov    %r12,%rax
  sar    $0x3f,%rax
  add    %r12,%rdx
  sar    $0x1d,%rdx
  sub    %rax,%rdx
  imul   $0x3b9aca07,%rdx,%rdx
  imul   %r13,%r9
  imul   %r11,%rsi
  sub    %rdx,%r12
  mov    %r9,%rax
  add    %r12,%rbp
  imul   %rcx
  mov    %r9,%rax
  mov    %rbp,0x10(%r8)
  pop    %rbp
  sar    $0x3f,%rax
  pop    %r12
  pop    %r13
  pop    %r14
  lea    (%rdx,%r9,1),%rdi
  sar    $0x1d,%rdi
  sub    %rax,%rdi
  mov    %rsi,%rax
  imul   %rcx
  mov    %rsi,%rax
  sar    $0x3f,%rax
  imul   $0x3b9aca07,%rdi,%rdi
  lea    (%rdx,%rsi,1),%rcx
  sar    $0x1d,%rcx
  sub    %rdi,%r9
  sub    %rax,%rcx
  imul   $0x3b9aca07,%rcx,%rcx
  sub    %rcx,%rsi
  add    %rsi,%r9
  mov    %r9,0x18(%r8)
  ret
```

assistant: ```c
void multiply(long long int F[2][2], long long int M[2][2]) {
  long long int x = ((F[0][0] % 1000000007) * (M[0][0] % 1000000007)) % 1000000007 + ((F[0][1] % 1000000007) * (M[1][0] % 1000000007)) % 1000000007;
  long long int y = ((F[0][0] % 1000000007) * (M[0][1] % 1000000007)) % 1000000007 + ((F[0][1] % 1000000007) * (M[1][1] % 1000000007)) % 1000000007;
  long long int z = ((F[1][0] % 1000000007) * (M[0][0] % 1000000007)) % 1000000007 + ((F[1][1] % 1000000007) * (M[1][0] % 1000000007)) % 1000000007;
  long long int w = ((F[1][0] % 1000000007) * (M[0][1] % 1000000007)) % 1000000007 + ((F[1][1] % 1000000007) * (M[1][1] % 1000000007)) % 1000000007;
  F[0][0] = x;
  F[0][1] = y;
  F[1][0] = z;
  F[1][1] = w;
}
```