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

```asm
<test_is_disjoint_from>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x98,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x88(%rsp)
  xor    %eax,%eax
  lea    D12(%rip),%r12
  mov    %r12,0x60(%rsp)
  lea    D74(%rip),%rbp
  mov    %rbp,0x68(%rsp)
  lea    D28(%rip),%rax
  mov    %rax,0x70(%rsp)
  lea    D16(%rip),%rbx
  mov    %rbx,0x78(%rsp)
  lea    D73(%rip),%rax
  mov    %rax,0x80(%rsp)
  lea    0x60(%rsp),%rdi
  mov    $0x5,%esi
  call   <stringset_alloc_from_array@plt>
  mov    %rax,%r14
  mov    %eax,%edi
  call   <assert@plt>
  mov    %rbp,(%rsp)
  lea    D59(%rip),%r15
  mov    %r15,0x8(%rsp)
  mov    %rbx,0x10(%rsp)
  mov    %rsp,%rdi
  mov    $0x3,%esi
  call   <stringset_alloc_from_array@plt>
  mov    %rax,%r13
  mov    %eax,%edi
  call   <assert@plt>
  mov    %rbp,0x20(%rsp)
  mov    %r12,0x28(%rsp)
  mov    %rbx,0x30(%rsp)
  lea    0x20(%rsp),%rdi
  mov    $0x3,%esi
  call   <stringset_alloc_from_array@plt>
  mov    %rax,%r12
  mov    %eax,%edi
  call   <assert@plt>
  lea    D67(%rip),%rax
  mov    %rax,0x40(%rsp)
  mov    %r15,0x48(%rsp)
  lea    D17(%rip),%rax
  mov    %rax,0x50(%rsp)
  lea    0x40(%rsp),%rdi
  mov    $0x3,%esi
  call   <stringset_alloc_from_array@plt>
  mov    %rax,%rbp
  mov    %eax,%edi
  call   <assert@plt>
  mov    $0x0,%eax
  call   <stringset_alloc@plt>
  mov    %rax,%rbx
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r14,%rsi
  mov    %r14,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %r13,%rsi
  mov    %r14,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %r12,%rsi
  mov    %r14,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %rbp,%rsi
  mov    %r14,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %rbx,%rsi
  mov    %r14,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r14,%rsi
  mov    %r13,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %r13,%rsi
  mov    %r13,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %rbx,%rsi
  mov    %r13,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r14,%rsi
  mov    %r12,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %r13,%rsi
  mov    %r12,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %r12,%rsi
  mov    %r12,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %rbp,%rsi
  mov    %r12,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r14,%rsi
  mov    %rbp,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r13,%rsi
  mov    %rbp,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %rbp,%rsi
  mov    %rbp,%rdi
  call   <stringset_is_disjoint_from@plt>
  test   %eax,%eax
  sete   %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r14,%rsi
  mov    %rbx,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r13,%rsi
  mov    %rbx,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r12,%rsi
  mov    %rbx,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %rbx,%rsi
  mov    %rbx,%rdi
  call   <stringset_is_disjoint_from@plt>
  mov    %eax,%edi
  call   <assert@plt>
  mov    %r14,%rdi
  call   <stringset_free@plt>
  mov    %r13,%rdi
  call   <stringset_free@plt>
  mov    %r12,%rdi
  call   <stringset_free@plt>
  mov    %rbp,%rdi
  call   <stringset_free@plt>
  mov    %rbx,%rdi
  call   <stringset_free@plt>
  mov    0x88(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L6
  add    $0x98,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L6:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: data_tag: D12
type_guessed: string
name: unpack_data
arguments: data_tag: D74
type_guessed: string
name: unpack_data
arguments: data_tag: D28
type_guessed: string
name: unpack_data
arguments: data_tag: D16
type_guessed: string
name: unpack_data
arguments: data_tag: D73
type_guessed: string
name: unpack_data
arguments: data_tag: D59
type_guessed: string
name: unpack_data
arguments: data_tag: D67
type_guessed: string
name: unpack_data
arguments: data_tag: D17
type_guessed: string

tool: D12: watermelon

tool: D74: mango

tool: D28: apple

tool: D16: banana

tool: D73: strawberry

tool: D59: green

tool: D67: red

tool: D17: blue

assistant: ```c
void test_is_disjoint_from(void) {
  char const *members1[] = {"watermelon", "mango", "apple", "banana", "strawberry"};
  int members1_count = sizeof members1 / sizeof members1[0];
  struct stringset *set1 = stringset_alloc_from_array(members1, members1_count);
  assert(set1);
  char const *members2[] = {"mango", "green", "banana"};
  int members2_count = sizeof members2 / sizeof members2[0];
  struct stringset *set2 = stringset_alloc_from_array(members2, members2_count);
  assert(set2);
  char const *members3[] = {"mango", "watermelon", "banana"};
  int members3_count = sizeof members3 / sizeof members3[0];
  struct stringset *set3 = stringset_alloc_from_array(members3, members3_count);
  assert(set3);
  char const *members4[] = {"red", "green", "blue"};
  int members4_count = sizeof members4 / sizeof members4[0];
  struct stringset *set4 = stringset_alloc_from_array(members4, members4_count);
  assert(set4);
  struct stringset *empty_set = stringset_alloc();
  assert(empty_set);
  assert(!stringset_is_disjoint_from(set1, set1));
  assert(!stringset_is_disjoint_from(set1, set2));
  assert(!stringset_is_disjoint_from(set1, set3));
  assert(stringset_is_disjoint_from(set1, set4));
  assert(stringset_is_disjoint_from(set1, empty_set));
  assert(!stringset_is_disjoint_from(set2, set1));
  assert(!stringset_is_disjoint_from(set2, set2));
  assert(!stringset_is_disjoint_from(set2, set3));
  assert(!stringset_is_disjoint_from(set2, set4));
  assert(stringset_is_disjoint_from(set2, empty_set));
  assert(!stringset_is_disjoint_from(set3, set1));
  assert(!stringset_is_disjoint_from(set3, set2));
  assert(!stringset_is_disjoint_from(set3, set3));
  assert(stringset_is_disjoint_from(set3, set4));
  assert(stringset_is_disjoint_from(set3, empty_set));
  assert(stringset_is_disjoint_from(set4, set1));
  assert(!stringset_is_disjoint_from(set4, set2));
  assert(stringset_is_disjoint_from(set4, set3));
  assert(!stringset_is_disjoint_from(set4, set4));
  assert(stringset_is_disjoint_from(set4, empty_set));
  assert(stringset_is_disjoint_from(empty_set, set1));
  assert(stringset_is_disjoint_from(empty_set, set2));
  assert(stringset_is_disjoint_from(empty_set, set3));
  assert(stringset_is_disjoint_from(empty_set, set4));
  assert(stringset_is_disjoint_from(empty_set, empty_set));
  stringset_free(set1);
  stringset_free(set2);
  stringset_free(set3);
  stringset_free(set4);
  stringset_free(empty_set);
}
```