user: 请从给定的汇编指令推导出C源代码：

```asm
<finn_mat4_look_at>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %rdx,-0x68(%rbp)
  mov    %rcx,-0x70(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x60(%rbp),%rdx
  mov    -0x68(%rbp),%rcx
  lea    -0x38(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <finn_vec3_sub_vec3@plt>
  lea    -0x38(%rbp),%rdx
  lea    -0x2c(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <finn_vec3_normalize@plt>
  mov    -0x70(%rbp),%rdx
  lea    -0x2c(%rbp),%rcx
  lea    -0x38(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <finn_vec3_cross@plt>
  lea    -0x38(%rbp),%rdx
  lea    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <finn_vec3_normalize@plt>
  lea    -0x2c(%rbp),%rdx
  lea    -0x20(%rbp),%rcx
  lea    -0x14(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <finn_vec3_cross@plt>
  mov    -0x60(%rbp),%rdx
  lea    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <finn_vec3_dot@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x44(%rbp)
  mov    -0x60(%rbp),%rdx
  lea    -0x14(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <finn_vec3_dot@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x40(%rbp)
  mov    -0x60(%rbp),%rdx
  lea    -0x2c(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <finn_vec3_dot@plt>
  movd   %xmm0,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,%rdi
  call   <finn_mat4_identity@plt>
  movss  -0x20(%rbp),%xmm0
  mov    -0x58(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  movss  -0x1c(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  movss  -0x18(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  movss  -0x14(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x14,%rax
  movss  -0x10(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  movss  -0xc(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0x2c(%rbp),%xmm0
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  movss  D22(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x28(%rbp),%xmm0
  mov    -0x58(%rbp),%rax
  add    $0x24,%rax
  movss  D22(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  movss  -0x24(%rbp),%xmm0
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  movss  D22(%rip),%xmm1
  xorps  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  movss  -0x44(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x34,%rax
  movss  -0x40(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x38,%rax
  movss  -0x3c(%rbp),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  add    $0x3c,%rax
  movss  D27(%rip),%xmm0
  movss  %xmm0,(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L5
  call   <__stack_chk_fail@plt>
L5:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D22
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D27
datatype: byte[4]

tool: {"D22": [0x00,0x00,0x00,0x80]}

tool: {"D27": [0x00,0x00,0x80,0x3f]}

assistant: ```c
void finn_mat4_look_at(float *result, float *eye, float *at, float *up) {
  float temp[3];
  float f[3];
  finn_vec3_sub_vec3(temp, at, eye);
  finn_vec3_normalize(f, temp);
  float s[3];
  finn_vec3_cross(temp, f, up);
  finn_vec3_normalize(s, temp);
  float u[3];
  finn_vec3_cross(u, s, f);
  float s_eye_dot = finn_vec3_dot(s, eye);
  float u_eye_dot = finn_vec3_dot(u, eye);
  float f_eye_dot = finn_vec3_dot(f, eye);
  finn_mat4_identity(result);
  result[0] = s[0];
  result[1] = s[1];
  result[2] = s[2];
  result[4] = u[0];
  result[5] = u[1];
  result[6] = u[2];
  result[8] = -f[0];
  result[9] = -f[1];
  result[10] = -f[2];
  result[12] = s_eye_dot;
  result[13] = u_eye_dot;
  result[14] = f_eye_dot;
  result[15] = 1.0f;
}
```