user: What is the c source code of the assembly code below?

```asm
<test_MatrixT>:
  endbr64
  push   %r13
  mov    $0x3,%edx
  mov    $0x4,%esi
  push   %r12
  lea    D24(%rip),%r12
  push   %rbp
  push   %rbx
  sub    $0xd8,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0xc8(%rsp)
  xor    %eax,%eax
  lea    0x60(%rsp),%rcx
  mov    D57(%rip),%rax
  mov    %rsp,%rdi
  lea    0x80(%rsp),%rbp
  lea    0xe0(%rsp),%r13
  mov    %rax,(%rsp)
  mov    D72(%rip),%rax
  mov    %rax,0x8(%rsp)
  mov    D46(%rip),%rax
  mov    %rax,0x10(%rsp)
  mov    D3(%rip),%rax
  mov    %rax,0x18(%rsp)
  mov    D65(%rip),%rax
  mov    %rax,0x20(%rsp)
  mov    D102(%rip),%rax
  mov    %rax,0x28(%rsp)
  mov    D100(%rip),%rax
  mov    %rax,0x30(%rsp)
  mov    D118(%rip),%rax
  mov    %rax,0x38(%rsp)
  mov    D99(%rip),%rax
  mov    %rax,0x40(%rsp)
  mov    D82(%rip),%rax
  mov    %rax,0x48(%rsp)
  mov    D124(%rip),%rax
  mov    %rax,0x50(%rsp)
  mov    D119(%rip),%rax
  mov    %rax,0x58(%rsp)
  call   <MatrixT@plt>
L13:
  lea    -0x20(%rbp),%rbx
L1:
  movsd  (%rbx),%xmm0
  mov    %r12,%rdi
  mov    $0x1,%eax
  add    $0x8,%rbx
  call   <printf@plt>
  cmp    %rbp,%rbx
  jne    L1
  mov    $0xa,%edi
  lea    0x20(%rbx),%rbp
  call   <putchar@plt>
  cmp    %r13,%rbp
  jne    L13
  mov    0xc8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L19
  add    $0xd8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L19:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: tag: D24
type_infered: string
name: read_data
arguments: tag: D57
type_infered: byte[8]
name: read_data
arguments: tag: D72
type_infered: byte[8]
name: read_data
arguments: tag: D46
type_infered: byte[8]
name: read_data
arguments: tag: D3
type_infered: byte[8]
name: read_data
arguments: tag: D65
type_infered: byte[8]
name: read_data
arguments: tag: D102
type_infered: byte[8]
name: read_data
arguments: tag: D100
type_infered: byte[8]
name: read_data
arguments: tag: D118
type_infered: byte[8]
name: read_data
arguments: tag: D99
type_infered: byte[8]
name: read_data
arguments: tag: D82
type_infered: byte[8]
name: read_data
arguments: tag: D124
type_infered: byte[8]
name: read_data
arguments: tag: D119
type_infered: byte[8]

tool: D24: %lf  

tool: {"D57": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D72": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x40]}

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

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

tool: {"D65": [0x00,0x00,0x00,0x00,0x00,0x00,0x14,0x40]}

tool: {"D102": [0x00,0x00,0x00,0x00,0x00,0x00,0x18,0x40]}

tool: {"D100": [0x00,0x00,0x00,0x00,0x00,0x00,0x1c,0x40]}

tool: {"D118": [0x00,0x00,0x00,0x00,0x00,0x00,0x20,0x40]}

tool: {"D99": [0x00,0x00,0x00,0x00,0x00,0x00,0x22,0x40]}

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

tool: {"D124": [0x00,0x00,0x00,0x00,0x00,0x00,0x26,0x40]}

tool: {"D119": [0x00,0x00,0x00,0x00,0x00,0x00,0x28,0x40]}

assistant: ```c
void test_MatrixT() {
  double a[4][3] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12};
  double c[3][4];
  MatrixT((double *)a, 4, 3, (double *)c);
  int i, j;
  for (i = 0; i < 3; i++) {
    for (j = 0; j < 4; j++) {
      printf("%lf  ", c[i][j]);
    }
    printf("\n");
  }
  return;
}
```