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

```asm
<test_decrypt_ecb>:
  endbr64
  push   %rbp
  sub    $0x110,%rsp
  movdqa D112(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x108(%rsp)
  xor    %eax,%eax
  lea    0xc0(%rsp),%rbp
  mov    %rsp,%rsi
  lea    0x40(%rsp),%rdi
  movaps %xmm0,(%rsp)
  movdqa D38(%rip),%xmm0
  mov    %rbp,%rdx
  movaps %xmm0,0x10(%rsp)
  movdqa D62(%rip),%xmm0
  movaps %xmm0,0x20(%rsp)
  movdqa D136(%rip),%xmm0
  movaps %xmm0,0x30(%rsp)
  movdqa D40(%rip),%xmm0
  movaps %xmm0,0x40(%rsp)
  movdqa D146(%rip),%xmm0
  movaps %xmm0,0x50(%rsp)
  movdqa D118(%rip),%xmm0
  movaps %xmm0,0x60(%rsp)
  movdqa D43(%rip),%xmm0
  movaps %xmm0,0x70(%rsp)
  movdqa D138(%rip),%xmm0
  movaps %xmm0,0x80(%rsp)
  movdqa D79(%rip),%xmm0
  movaps %xmm0,0x90(%rsp)
  movdqa D83(%rip),%xmm0
  movaps %xmm0,0xa0(%rsp)
  movdqa D66(%rip),%xmm0
  movaps %xmm0,0xb0(%rsp)
  call   <AES128_ECB_decrypt@plt>
  lea    D30(%rip),%rdi
  call   <printf@plt>
  lea    0x80(%rsp),%rdi
  mov    $0x10,%edx
  mov    %rbp,%rsi
  call   <strncmp@plt>
  test   %rax,%rax
  jne    L16
  lea    D135(%rip),%rdi
  call   <printf@plt>
L14:
  mov    0x108(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L25
  add    $0x110,%rsp
  pop    %rbp
  ret
  nopl   0x0(%rax)
L16:
  lea    D11(%rip),%rdi
  call   <printf@plt>
  jmp    L14
L25:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: label: D112
datatype: byte[16]
name: retrieve_data
arguments: label: D38
datatype: byte[16]
name: retrieve_data
arguments: label: D62
datatype: byte[16]
name: retrieve_data
arguments: label: D136
datatype: byte[16]
name: retrieve_data
arguments: label: D40
datatype: byte[16]
name: retrieve_data
arguments: label: D146
datatype: byte[16]
name: retrieve_data
arguments: label: D118
datatype: byte[16]
name: retrieve_data
arguments: label: D43
datatype: byte[16]
name: retrieve_data
arguments: label: D138
datatype: byte[16]
name: retrieve_data
arguments: label: D79
datatype: byte[16]
name: retrieve_data
arguments: label: D83
datatype: byte[16]
name: retrieve_data
arguments: label: D66
datatype: byte[16]
name: retrieve_data
arguments: label: D30
datatype: string
name: retrieve_data
arguments: label: D135
datatype: string
name: retrieve_data
arguments: label: D11
datatype: string

tool: {"D112": [0x2b,0x00,0x00,0x00,0x7e,0x00,0x00,0x00,0x15,0x00,0x00,0x00,0x16,0x00,0x00,0x00]}

tool: {"D38": [0x28,0x00,0x00,0x00,0xae,0x00,0x00,0x00,0xd2,0x00,0x00,0x00,0xa6,0x00,0x00,0x00]}

tool: {"D62": [0xab,0x00,0x00,0x00,0xf7,0x00,0x00,0x00,0x15,0x00,0x00,0x00,0x88,0x00,0x00,0x00]}

tool: {"D136": [0x09,0x00,0x00,0x00,0xcf,0x00,0x00,0x00,0x4f,0x00,0x00,0x00,0x3c,0x00,0x00,0x00]}

tool: {"D40": [0x3a,0x00,0x00,0x00,0xd7,0x00,0x00,0x00,0x7b,0x00,0x00,0x00,0xb4,0x00,0x00,0x00]}

tool: {"D146": [0x0d,0x00,0x00,0x00,0x7a,0x00,0x00,0x00,0x36,0x00,0x00,0x00,0x60,0x00,0x00,0x00]}

tool: {"D118": [0xa8,0x00,0x00,0x00,0x9e,0x00,0x00,0x00,0xca,0x00,0x00,0x00,0xf3,0x00,0x00,0x00]}

tool: {"D43": [0x24,0x00,0x00,0x00,0x66,0x00,0x00,0x00,0xef,0x00,0x00,0x00,0x97,0x00,0x00,0x00]}

tool: {"D138": [0x6b,0x00,0x00,0x00,0xc1,0x00,0x00,0x00,0xbe,0x00,0x00,0x00,0xe2,0x00,0x00,0x00]}

tool: {"D79": [0x2e,0x00,0x00,0x00,0x40,0x00,0x00,0x00,0x9f,0x00,0x00,0x00,0x96,0x00,0x00,0x00]}

tool: {"D83": [0xe9,0x00,0x00,0x00,0x3d,0x00,0x00,0x00,0x7e,0x00,0x00,0x00,0x11,0x00,0x00,0x00]}

tool: {"D66": [0x73,0x00,0x00,0x00,0x93,0x00,0x00,0x00,0x17,0x00,0x00,0x00,0x2a,0x00,0x00,0x00]}

tool: D30: ECB decrypt: 

tool: D135: SUCCESS!


tool: D11: FAILURE!


assistant: ```c
void test_decrypt_ecb(void) {
  uint8_t key[] = {0x2b, 0x7e, 0x15, 0x16, 0x28, 0xae, 0xd2, 0xa6, 0xab, 0xf7, 0x15, 0x88, 0x09, 0xcf, 0x4f, 0x3c};
  uint8_t in[] = {0x3a, 0xd7, 0x7b, 0xb4, 0x0d, 0x7a, 0x36, 0x60, 0xa8, 0x9e, 0xca, 0xf3, 0x24, 0x66, 0xef, 0x97};
  uint8_t out[] = {0x6b, 0xc1, 0xbe, 0xe2, 0x2e, 0x40, 0x9f, 0x96, 0xe9, 0x3d, 0x7e, 0x11, 0x73, 0x93, 0x17, 0x2a};
  uint8_t buffer[16];
  AES128_ECB_decrypt(in, key, buffer);
  printf("ECB decrypt: ");
  if (0 == strncmp((char *)out, (char *)buffer, 16)) {
    printf("SUCCESS!\n");
  } else {
    printf("FAILURE!\n");
  }
}
```