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

```asm
<main>:
  endbr64
  push   %r15
  mov    $0x30,%edi
  push   %r14
  push   %r13
  push   %r12
  xor    %r12d,%r12d
  push   %rbp
  push   %rbx
  sub    $0x1f8,%rsp
  movdqa D134(%rip),%xmm0
  movdqa D190(%rip),%xmm1
  mov    %fs:0x28,%rax
  mov    %rax,0x1e8(%rsp)
  xor    %eax,%eax
  movabs $0x347c69489a42fb2d,%rax
  movl   $0x86a86d00,0x13c(%rsp)
  movaps %xmm0,0x140(%rsp)
  movdqa D95(%rip),%xmm0
  movaps %xmm1,0x160(%rsp)
  movaps %xmm0,0x150(%rsp)
  movaps %xmm0,0x170(%rsp)
  movdqa D71(%rip),%xmm0
  mov    %rax,0x134(%rsp)
  movaps %xmm0,0x180(%rsp)
  movdqa D241(%rip),%xmm0
  movaps %xmm0,0x190(%rsp)
  movdqa D68(%rip),%xmm0
  movaps %xmm0,0x1a0(%rsp)
  movdqa D266(%rip),%xmm0
  movaps %xmm0,0x30(%rsp)
  movdqa D281(%rip),%xmm0
  movaps %xmm0,0x40(%rsp)
  movdqa D195(%rip),%xmm0
  movaps %xmm0,0x50(%rsp)
  movdqa D226(%rip),%xmm0
  movaps %xmm0,0x60(%rsp)
  movdqa D183(%rip),%xmm0
  movaps %xmm0,0x70(%rsp)
  movdqa D318(%rip),%xmm0
  movaps %xmm0,0x80(%rsp)
  movdqa D197(%rip),%xmm0
  movaps %xmm0,0x90(%rsp)
  movdqa D246(%rip),%xmm0
  movaps %xmm0,0xa0(%rsp)
  movdqa D295(%rip),%xmm0
  movaps %xmm0,0xb0(%rsp)
  movdqa D256(%rip),%xmm0
  movaps %xmm0,0xc0(%rsp)
  movdqa D194(%rip),%xmm0
  movaps %xmm0,0xd0(%rsp)
  movdqa D44(%rip),%xmm0
  movaps %xmm0,0xe0(%rsp)
  movdqa D14(%rip),%xmm0
  movaps %xmm0,0xf0(%rsp)
  movdqa D28(%rip),%xmm0
  movaps %xmm0,0x100(%rsp)
  movdqa D70(%rip),%xmm0
  movaps %xmm0,0x110(%rsp)
  movdqa D275(%rip),%xmm0
  movaps %xmm0,0x120(%rsp)
  movdqa D8(%rip),%xmm0
  movaps %xmm0,0x1b0(%rsp)
  movdqa D191(%rip),%xmm0
  movaps %xmm0,0x1c0(%rsp)
  movdqa D286(%rip),%xmm0
  movaps %xmm0,0x1d0(%rsp)
  call   <malloc@plt>
  mov    $0x10,%edi
  mov    %rax,%r14
  call   <malloc@plt>
  mov    %rax,%r13
  lea    0x30(%rsp),%rax
  mov    %rax,0x28(%rsp)
  lea    0x150(%rsp),%rax
  mov    %rax,0x10(%rsp)
  lea    0x134(%rsp),%rax
  mov    %rax,(%rsp)
  lea    0x140(%rsp),%rax
  mov    %rax,0x8(%rsp)
  lea    0x180(%rsp),%rax
  mov    %rax,0x18(%rsp)
  lea    0x1b0(%rsp),%rax
  mov    %rax,0x20(%rsp)
L33:
  mov    %r12d,%r15d
  mov    0x28(%rsp),%rbp
  xor    %ebx,%ebx
  shl    $0x4,%r15d
L17:
  push   %rbx
  mov    %r12d,%r9d
  mov    %r13,%rsi
  mov    %r14,%rdi
  push   0x20(%rsp)
  mov    0x20(%rsp),%r8
  xor    %eax,%eax
  mov    0x10(%rsp),%rcx
  mov    0x18(%rsp),%rdx
  call   <aes128gcm@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  xor    %eax,%eax
  lea    D328(%rip),%rdi
  call   <printf@plt>
  mov    0x30(%rsp),%rsi
  mov    %r15d,%edx
  mov    %r14,%rdi
  call   <memcmp@plt>
  lea    D141(%rip),%rsi
  pop    %rdx
  pop    %rcx
  test   %eax,%eax
  lea    D258(%rip),%rax
  lea    D323(%rip),%rdi
  cmove  %rax,%rsi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbp,%rsi
  mov    %r13,%rdi
  mov    $0x10,%edx
  call   <memcmp@plt>
  lea    D258(%rip),%rsi
  lea    D102(%rip),%rdi
  test   %eax,%eax
  je     L13
  lea    D141(%rip),%rsi
  lea    D102(%rip),%rdi
  xor    %eax,%eax
L13:
  call   <printf@plt>
  add    $0x1,%ebx
  add    $0x10,%rbp
  cmp    $0x4,%ebx
  jne    L17
  add    $0x1,%r12d
  addq   $0x40,0x28(%rsp)
  cmp    $0x4,%r12d
  jne    L33
  mov    %r14,%rdi
  call   <free@plt>
  mov    %r13,%rdi
  call   <free@plt>
  mov    0x1e8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L18
  add    $0x1f8,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L18:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: data_label: D134
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D190
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D95
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D71
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D241
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D68
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D266
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D281
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D195
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D226
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D183
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D318
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D197
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D246
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D295
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D256
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D194
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D44
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D14
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D28
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D70
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D275
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D8
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D191
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D286
type_infered: byte[16]
name: disassemble_data
arguments: data_label: D328
type_infered: string
name: disassemble_data
arguments: data_label: D141
type_infered: string
name: disassemble_data
arguments: data_label: D258
type_infered: string
name: disassemble_data
arguments: data_label: D323
type_infered: string
name: disassemble_data
arguments: data_label: D102
type_infered: string

tool: {"D134": [0x98,0xff,0xf6,0x7e,0x64,0xe4,0x6b,0xe5,0xee,0x2e,0x05,0xcc,0x9a,0xf6,0xd0,0x12]}

tool: {"D190": [0x7a,0xfc,0x9e,0x1a,0xca,0x83,0xe1,0x29,0xb0,0x85,0xbd,0x63,0x7f,0xf6,0x7c,0x01]}

tool: {"D95": [0x29,0xb9,0x1b,0x4a,0x68,0xa9,0x9f,0x97,0xc4,0x1c,0x75,0x08,0xf1,0x7a,0x5c,0x7a]}

tool: {"D71": [0xa0,0xca,0x58,0x61,0xc0,0x22,0x6c,0x5b,0x5a,0x65,0x14,0xc8,0x2b,0x77,0x81,0x5a]}

tool: {"D241": [0x9e,0x0e,0xb3,0x59,0xd0,0xd4,0x6d,0x03,0x33,0xc3,0xf2,0xba,0xe1,0x4d,0xa0,0xc4]}

tool: {"D68": [0x03,0x30,0xc0,0x02,0x16,0xb4,0xaa,0x64,0xb7,0xc1,0xed,0xb8,0x71,0xc3,0x28,0xf6]}

tool: {"D266": [0xec,0x1c,0x5a,0xff,0xad,0x2c,0xad,0xb9,0xf5,0xeb,0xcf,0x1d,0xee,0x28,0x95,0xea]}

tool: {"D281": [0x7f,0x05,0x0d,0x45,0x4e,0x55,0x2d,0x40,0xf1,0x73,0xbb,0xa9,0x2a,0xd9,0x23,0xe0]}

tool: {"D195": [0x3e,0xba,0xc7,0xcf,0x15,0xee,0xf3,0xe0,0xee,0xff,0xf7,0x96,0xd7,0x87,0x0f,0x03]}

tool: {"D226": [0xfc,0x89,0x33,0x0c,0x1d,0x86,0xf3,0x7d,0x70,0x0b,0x4d,0xcd,0x61,0x1e,0x94,0x35]}

tool: {"D183": [0x01,0xbf,0xa5,0xb2,0x75,0xc7,0xcc,0xf8,0x52,0xea,0x28,0x97,0x87,0x76,0xbe,0x58]}

tool: {"D318": [0x9e,0x27,0xe2,0x10,0xd6,0xe1,0xef,0x0f,0x18,0xde,0x98,0xf4,0xc3,0xd0,0xf9,0x68]}

tool: {"D197": [0xaa,0x2f,0xe8,0x0f,0x1c,0x21,0xce,0x8a,0x5d,0x7d,0xf0,0x10,0x39,0x90,0x25,0x2e]}

tool: {"D246": [0xc7,0x30,0x2f,0x77,0xc8,0x78,0x68,0x1f,0xe9,0x72,0x8a,0xd7,0x25,0xfc,0x74,0x01]}

tool: {"D295": [0x54,0x77,0x45,0x9e,0x58,0x74,0x89,0xa5,0xb4,0x95,0xc7,0x73,0xd1,0x31,0x9d,0xe2]}

tool: {"D256": [0xb4,0xdf,0xfa,0xcc,0xdd,0x27,0x27,0x17,0xef,0x9c,0x73,0x8e,0x7b,0x00,0xb9,0x41]}

tool: {"D194": [0xe9,0x1d,0xbb,0x07,0xae,0x09,0xc2,0x62,0xe0,0xcd,0xa9,0xb2,0x89,0x91,0xb5,0x14]}

tool: {"D44": [0xf1,0x96,0xec,0x54,0x6c,0x4c,0x0a,0xf0,0x8b,0xe0,0x88,0xba,0xb9,0x71,0x91,0x75]}

tool: {"D14": [0x79,0x4c,0x36,0xa8,0x18,0x23,0x7e,0x57,0x68,0x6f,0xe9,0x83,0xbd,0x41,0x83,0x0d]}

tool: {"D28": [0x78,0x8c,0xda,0x60,0xfd,0xf2,0x79,0x99,0xea,0x2e,0x86,0x47,0xd5,0xb4,0xc4,0x90]}

tool: {"D70": [0x42,0xeb,0xba,0x9c,0xae,0xdb,0x79,0x83,0x21,0x43,0x95,0x32,0x68,0x36,0xd2,0xd7]}

tool: {"D275": [0x70,0xfa,0x28,0x15,0x5c,0x47,0x88,0x70,0x72,0xaa,0xe1,0x2a,0x05,0xde,0x63,0x08]}

tool: {"D8": [0xc2,0x2f,0xee,0xb3,0xe2,0x7d,0xc3,0x29,0x93,0x45,0x03,0x01,0x39,0xee,0x81,0x67]}

tool: {"D191": [0x19,0xa8,0xa8,0x99,0x39,0x03,0x78,0x95,0xd7,0x49,0x65,0xfa,0x02,0x40,0xaf,0x5b]}

tool: {"D286": [0xe3,0x19,0x26,0x59,0xd5,0x66,0x39,0x8a,0x5d,0x95,0xf3,0xe0,0x4b,0xcd,0x53,0x57]}

tool: D328: lenghts %d %d: 

tool: D141: FAIL

tool: D258: PASS

tool: D323: ciphertext %s 

tool: D102: tag %s



assistant: ```c
int main() {
  const unsigned char key[16] = {0x98, 0xff, 0xf6, 0x7e, 0x64, 0xe4, 0x6b, 0xe5, 0xee, 0x2e, 0x05, 0xcc, 0x9a, 0xf6, 0xd0, 0x12};
  const unsigned char IV[12] = {0x2d, 0xfb, 0x42, 0x9a, 0x48, 0x69, 0x7c, 0x34, 0x00, 0x6d, 0xa8, 0x86};
  const unsigned char plaintext[3 * 16] = {0x29, 0xb9, 0x1b, 0x4a, 0x68, 0xa9, 0x9f, 0x97, 0xc4, 0x1c, 0x75, 0x08, 0xf1, 0x7a, 0x5c, 0x7a, 0x7a, 0xfc, 0x9e, 0x1a, 0xca, 0x83, 0xe1, 0x29, 0xb0, 0x85, 0xbd, 0x63, 0x7f, 0xf6, 0x7c, 0x01, 0x29, 0xb9, 0x1b, 0x4a, 0x68, 0xa9, 0x9f, 0x97, 0xc4, 0x1c, 0x75, 0x08, 0xf1, 0x7a, 0x5c, 0x7a};
  const unsigned char add_data[3 * 16] = {0xa0, 0xca, 0x58, 0x61, 0xc0, 0x22, 0x6c, 0x5b, 0x5a, 0x65, 0x14, 0xc8, 0x2b, 0x77, 0x81, 0x5a, 0x9e, 0x0e, 0xb3, 0x59, 0xd0, 0xd4, 0x6d, 0x03, 0x33, 0xc3, 0xf2, 0xba, 0xe1, 0x4d, 0xa0, 0xc4, 0x03, 0x30, 0xc0, 0x02, 0x16, 0xb4, 0xaa, 0x64, 0xb7, 0xc1, 0xed, 0xb8, 0x71, 0xc3, 0x28, 0xf6};
  const unsigned char tag_ref[16][16] = {{0xec, 0x1c, 0x5a, 0xff, 0xad, 0x2c, 0xad, 0xb9, 0xf5, 0xeb, 0xcf, 0x1d, 0xee, 0x28, 0x95, 0xea}, {0x7f, 0x05, 0x0d, 0x45, 0x4e, 0x55, 0x2d, 0x40, 0xf1, 0x73, 0xbb, 0xa9, 0x2a, 0xd9, 0x23, 0xe0}, {0x3e, 0xba, 0xc7, 0xcf, 0x15, 0xee, 0xf3, 0xe0, 0xee, 0xff, 0xf7, 0x96, 0xd7, 0x87, 0x0f, 0x03}, {0xfc, 0x89, 0x33, 0x0c, 0x1d, 0x86, 0xf3, 0x7d, 0x70, 0x0b, 0x4d, 0xcd, 0x61, 0x1e, 0x94, 0x35}, {0x01, 0xbf, 0xa5, 0xb2, 0x75, 0xc7, 0xcc, 0xf8, 0x52, 0xea, 0x28, 0x97, 0x87, 0x76, 0xbe, 0x58}, {0x9e, 0x27, 0xe2, 0x10, 0xd6, 0xe1, 0xef, 0x0f, 0x18, 0xde, 0x98, 0xf4, 0xc3, 0xd0, 0xf9, 0x68}, {0xaa, 0x2f, 0xe8, 0x0f, 0x1c, 0x21, 0xce, 0x8a, 0x5d, 0x7d, 0xf0, 0x10, 0x39, 0x90, 0x25, 0x2e}, {0xc7, 0x30, 0x2f, 0x77, 0xc8, 0x78, 0x68, 0x1f, 0xe9, 0x72, 0x8a, 0xd7, 0x25, 0xfc, 0x74, 0x01}, {0x54, 0x77, 0x45, 0x9e, 0x58, 0x74, 0x89, 0xa5, 0xb4, 0x95, 0xc7, 0x73, 0xd1, 0x31, 0x9d, 0xe2}, {0xb4, 0xdf, 0xfa, 0xcc, 0xdd, 0x27, 0x27, 0x17, 0xef, 0x9c, 0x73, 0x8e, 0x7b, 0x00, 0xb9, 0x41}, {0xe9, 0x1d, 0xbb, 0x07, 0xae, 0x09, 0xc2, 0x62, 0xe0, 0xcd, 0xa9, 0xb2, 0x89, 0x91, 0xb5, 0x14}, {0xf1, 0x96, 0xec, 0x54, 0x6c, 0x4c, 0x0a, 0xf0, 0x8b, 0xe0, 0x88, 0xba, 0xb9, 0x71, 0x91, 0x75}, {0x79, 0x4c, 0x36, 0xa8, 0x18, 0x23, 0x7e, 0x57, 0x68, 0x6f, 0xe9, 0x83, 0xbd, 0x41, 0x83, 0x0d}, {0x78, 0x8c, 0xda, 0x60, 0xfd, 0xf2, 0x79, 0x99, 0xea, 0x2e, 0x86, 0x47, 0xd5, 0xb4, 0xc4, 0x90}, {0x42, 0xeb, 0xba, 0x9c, 0xae, 0xdb, 0x79, 0x83, 0x21, 0x43, 0x95, 0x32, 0x68, 0x36, 0xd2, 0xd7}, {0x70, 0xfa, 0x28, 0x15, 0x5c, 0x47, 0x88, 0x70, 0x72, 0xaa, 0xe1, 0x2a, 0x05, 0xde, 0x63, 0x08}};
  const unsigned char ciphertext_ref[3 * 16] = {0xc2, 0x2f, 0xee, 0xb3, 0xe2, 0x7d, 0xc3, 0x29, 0x93, 0x45, 0x03, 0x01, 0x39, 0xee, 0x81, 0x67, 0x19, 0xa8, 0xa8, 0x99, 0x39, 0x03, 0x78, 0x95, 0xd7, 0x49, 0x65, 0xfa, 0x02, 0x40, 0xaf, 0x5b, 0xe3, 0x19, 0x26, 0x59, 0xd5, 0x66, 0x39, 0x8a, 0x5d, 0x95, 0xf3, 0xe0, 0x4b, 0xcd, 0x53, 0x57};
  unsigned char *ciphertext = malloc(3 * 16 * sizeof(unsigned char));
  unsigned char *tag = malloc(16 * sizeof(unsigned char));
  unsigned int len_p;
  unsigned int len_ad;
  for (len_p = 0; len_p <= 3; len_p++) {
    for (len_ad = 0; len_ad <= 3; len_ad++) {
      aes128gcm(ciphertext, tag, key, IV, plaintext, len_p, add_data, len_ad);
      printf("lenghts %d %d: ", len_p, len_ad);
      printf("ciphertext %s ", !memcmp(ciphertext, ciphertext_ref, (len_p)*16) ? "PASS" : "FAIL");
      printf("tag %s\n\n", !memcmp(tag, tag_ref[len_p * 4 + len_ad], 16) ? "PASS" : "FAIL");
    }
  }
  free(ciphertext);
  free(tag);
  return 0;
}
```