user: 请将以下的汇编代码转换成C语言代码：

```asm
<Version_isCompatible>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %edi,-0x4(%rbp)
  mov    %esi,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  cmp    $0x17,%eax
  jbe    L1
  movl   $0x17,-0x8(%rbp)
L1:
  mov    -0x4(%rbp),%eax
  cmp    $0x5,%eax
  jbe    L18
  movl   $0x5,-0x4(%rbp)
L18:
  mov    -0x8(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x4(%rbp),%eax
  movslq %eax,%rdx
  mov    %rdx,%rax
  add    %rax,%rax
  add    %rdx,%rax
  add    %rax,%rax
  add    %rcx,%rax
  lea    0x0(,%rax,4),%rdx
  lea    D5(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D5
type: string

tool: D5: 

assistant: ```c
int Version_isCompatible(uint32_t version1, uint32_t version2) {
  static const uint8_t table[6][6] = {{((0 > 0) ? ((0 == 5) ? (0 > 0) : ((0 == 4) ? (0 > 0) : ((0 == 3) ? (0 > 0) : ((0 == 2) ? (0 > 0) : (1))))) : ((0 == 5) ? (0 > 0) : ((0 == 4) ? (0 > 0) : ((0 == 3) ? (0 > 0) : ((0 == 2) ? (0 > 0) : (1)))))), ((0 > 1) ? ((0 == 5) ? (1 > 0) : ((0 == 4) ? (1 > 0) : ((0 == 3) ? (1 > 0) : ((0 == 2) ? (1 > 0) : (1))))) : ((1 == 5) ? (0 > 0) : ((1 == 4) ? (0 > 0) : ((1 == 3) ? (0 > 0) : ((1 == 2) ? (0 > 0) : (1)))))), ((0 > 2) ? ((0 == 5) ? (2 > 0) : ((0 == 4) ? (2 > 0) : ((0 == 3) ? (2 > 0) : ((0 == 2) ? (2 > 0) : (1))))) : ((2 == 5) ? (0 > 0) : ((2 == 4) ? (0 > 0) : ((2 == 3) ? (0 > 0) : ((2 == 2) ? (0 > 0) : (1)))))), ((0 > 3) ? ((0 == 5) ? (3 > 0) : ((0 == 4) ? (3 > 0) : ((0 == 3) ? (3 > 0) : ((0 == 2) ? (3 > 0) : (1))))) : ((3 == 5) ? (0 > 0) : ((3 == 4) ? (0 > 0) : ((3 == 3) ? (0 > 0) : ((3 == 2) ? (0 > 0) : (1)))))), ((0 > 4) ? ((0 == 5) ? (4 > 0) : ((0 == 4) ? (4 > 0) : ((0 == 3) ? (4 > 0) : ((0 == 2) ? (4 > 0) : (1))))) : ((4 == 5) ? (0 > 0) : ((4 == 4) ? (0 > 0) : ((4 == 3) ? (0 > 0) : ((4 == 2) ? (0 > 0) : (1)))))), ((0 > 5) ? ((0 == 5) ? (5 > 0) : ((0 == 4) ? (5 > 0) : ((0 == 3) ? (5 > 0) : ((0 == 2) ? (5 > 0) : (1))))) : ((5 == 5) ? (0 > 0) : ((5 == 4) ? (0 > 0) : ((5 == 3) ? (0 > 0) : ((5 == 2) ? (0 > 0) : (1))))))}, {((1 > 0) ? ((1 == 5) ? (0 > 0) : ((1 == 4) ? (0 > 0) : ((1 == 3) ? (0 > 0) : ((1 == 2) ? (0 > 0) : (1))))) : ((0 == 5) ? (1 > 0) : ((0 == 4) ? (1 > 0) : ((0 == 3) ? (1 > 0) : ((0 == 2) ? (1 > 0) : (1)))))), ((1 > 1) ? ((1 == 5) ? (1 > 0) : ((1 == 4) ? (1 > 0) : ((1 == 3) ? (1 > 0) : ((1 == 2) ? (1 > 0) : (1))))) : ((1 == 5) ? (1 > 0) : ((1 == 4) ? (1 > 0) : ((1 == 3) ? (1 > 0) : ((1 == 2) ? (1 > 0) : (1)))))), ((1 > 2) ? ((1 == 5) ? (2 > 0) : ((1 == 4) ? (2 > 0) : ((1 == 3) ? (2 > 0) : ((1 == 2) ? (2 > 0) : (1))))) : ((2 == 5) ? (1 > 0) : ((2 == 4) ? (1 > 0) : ((2 == 3) ? (1 > 0) : ((2 == 2) ? (1 > 0) : (1)))))), ((1 > 3) ? ((1 == 5) ? (3 > 0) : ((1 == 4) ? (3 > 0) : ((1 == 3) ? (3 > 0) : ((1 == 2) ? (3 > 0) : (1))))) : ((3 == 5) ? (1 > 0) : ((3 == 4) ? (1 > 0) : ((3 == 3) ? (1 > 0) : ((3 == 2) ? (1 > 0) : (1)))))), ((1 > 4) ? ((1 == 5) ? (4 > 0) : ((1 == 4) ? (4 > 0) : ((1 == 3) ? (4 > 0) : ((1 == 2) ? (4 > 0) : (1))))) : ((4 == 5) ? (1 > 0) : ((4 == 4) ? (1 > 0) : ((4 == 3) ? (1 > 0) : ((4 == 2) ? (1 > 0) : (1)))))), ((1 > 5) ? ((1 == 5) ? (5 > 0) : ((1 == 4) ? (5 > 0) : ((1 == 3) ? (5 > 0) : ((1 == 2) ? (5 > 0) : (1))))) : ((5 == 5) ? (1 > 0) : ((5 == 4) ? (1 > 0) : ((5 == 3) ? (1 > 0) : ((5 == 2) ? (1 > 0) : (1))))))}, {((2 > 0) ? ((2 == 5) ? (0 > 0) : ((2 == 4) ? (0 > 0) : ((2 == 3) ? (0 > 0) : ((2 == 2) ? (0 > 0) : (1))))) : ((0 == 5) ? (2 > 0) : ((0 == 4) ? (2 > 0) : ((0 == 3) ? (2 > 0) : ((0 == 2) ? (2 > 0) : (1)))))), ((2 > 1) ? ((2 == 5) ? (1 > 0) : ((2 == 4) ? (1 > 0) : ((2 == 3) ? (1 > 0) : ((2 == 2) ? (1 > 0) : (1))))) : ((1 == 5) ? (2 > 0) : ((1 == 4) ? (2 > 0) : ((1 == 3) ? (2 > 0) : ((1 == 2) ? (2 > 0) : (1)))))), ((2 > 2) ? ((2 == 5) ? (2 > 0) : ((2 == 4) ? (2 > 0) : ((2 == 3) ? (2 > 0) : ((2 == 2) ? (2 > 0) : (1))))) : ((2 == 5) ? (2 > 0) : ((2 == 4) ? (2 > 0) : ((2 == 3) ? (2 > 0) : ((2 == 2) ? (2 > 0) : (1)))))), ((2 > 3) ? ((2 == 5) ? (3 > 0) : ((2 == 4) ? (3 > 0) : ((2 == 3) ? (3 > 0) : ((2 == 2) ? (3 > 0) : (1))))) : ((3 == 5) ? (2 > 0) : ((3 == 4) ? (2 > 0) : ((3 == 3) ? (2 > 0) : ((3 == 2) ? (2 > 0) : (1)))))), ((2 > 4) ? ((2 == 5) ? (4 > 0) : ((2 == 4) ? (4 > 0) : ((2 == 3) ? (4 > 0) : ((2 == 2) ? (4 > 0) : (1))))) : ((4 == 5) ? (2 > 0) : ((4 == 4) ? (2 > 0) : ((4 == 3) ? (2 > 0) : ((4 == 2) ? (2 > 0) : (1)))))), ((2 > 5) ? ((2 == 5) ? (5 > 0) : ((2 == 4) ? (5 > 0) : ((2 == 3) ? (5 > 0) : ((2 == 2) ? (5 > 0) : (1))))) : ((5 == 5) ? (2 > 0) : ((5 == 4) ? (2 > 0) : ((5 == 3) ? (2 > 0) : ((5 == 2) ? (2 > 0) : (1))))))}, {((3 > 0) ? ((3 == 5) ? (0 > 0) : ((3 == 4) ? (0 > 0) : ((3 == 3) ? (0 > 0) : ((3 == 2) ? (0 > 0) : (1))))) : ((0 == 5) ? (3 > 0) : ((0 == 4) ? (3 > 0) : ((0 == 3) ? (3 > 0) : ((0 == 2) ? (3 > 0) : (1)))))), ((3 > 1) ? ((3 == 5) ? (1 > 0) : ((3 == 4) ? (1 > 0) : ((3 == 3) ? (1 > 0) : ((3 == 2) ? (1 > 0) : (1))))) : ((1 == 5) ? (3 > 0) : ((1 == 4) ? (3 > 0) : ((1 == 3) ? (3 > 0) : ((1 == 2) ? (3 > 0) : (1)))))), ((3 > 2) ? ((3 == 5) ? (2 > 0) : ((3 == 4) ? (2 > 0) : ((3 == 3) ? (2 > 0) : ((3 == 2) ? (2 > 0) : (1))))) : ((2 == 5) ? (3 > 0) : ((2 == 4) ? (3 > 0) : ((2 == 3) ? (3 > 0) : ((2 == 2) ? (3 > 0) : (1)))))), ((3 > 3) ? ((3 == 5) ? (3 > 0) : ((3 == 4) ? (3 > 0) : ((3 == 3) ? (3 > 0) : ((3 == 2) ? (3 > 0) : (1))))) : ((3 == 5) ? (3 > 0) : ((3 == 4) ? (3 > 0) : ((3 == 3) ? (3 > 0) : ((3 == 2) ? (3 > 0) : (1)))))), ((3 > 4) ? ((3 == 5) ? (4 > 0) : ((3 == 4) ? (4 > 0) : ((3 == 3) ? (4 > 0) : ((3 == 2) ? (4 > 0) : (1))))) : ((4 == 5) ? (3 > 0) : ((4 == 4) ? (3 > 0) : ((4 == 3) ? (3 > 0) : ((4 == 2) ? (3 > 0) : (1)))))), ((3 > 5) ? ((3 == 5) ? (5 > 0) : ((3 == 4) ? (5 > 0) : ((3 == 3) ? (5 > 0) : ((3 == 2) ? (5 > 0) : (1))))) : ((5 == 5) ? (3 > 0) : ((5 == 4) ? (3 > 0) : ((5 == 3) ? (3 > 0) : ((5 == 2) ? (3 > 0) : (1))))))}, {((4 > 0) ? ((4 == 5) ? (0 > 0) : ((4 == 4) ? (0 > 0) : ((4 == 3) ? (0 > 0) : ((4 == 2) ? (0 > 0) : (1))))) : ((0 == 5) ? (4 > 0) : ((0 == 4) ? (4 > 0) : ((0 == 3) ? (4 > 0) : ((0 == 2) ? (4 > 0) : (1)))))), ((4 > 1) ? ((4 == 5) ? (1 > 0) : ((4 == 4) ? (1 > 0) : ((4 == 3) ? (1 > 0) : ((4 == 2) ? (1 > 0) : (1))))) : ((1 == 5) ? (4 > 0) : ((1 == 4) ? (4 > 0) : ((1 == 3) ? (4 > 0) : ((1 == 2) ? (4 > 0) : (1)))))), ((4 > 2) ? ((4 == 5) ? (2 > 0) : ((4 == 4) ? (2 > 0) : ((4 == 3) ? (2 > 0) : ((4 == 2) ? (2 > 0) : (1))))) : ((2 == 5) ? (4 > 0) : ((2 == 4) ? (4 > 0) : ((2 == 3) ? (4 > 0) : ((2 == 2) ? (4 > 0) : (1)))))), ((4 > 3) ? ((4 == 5) ? (3 > 0) : ((4 == 4) ? (3 > 0) : ((4 == 3) ? (3 > 0) : ((4 == 2) ? (3 > 0) : (1))))) : ((3 == 5) ? (4 > 0) : ((3 == 4) ? (4 > 0) : ((3 == 3) ? (4 > 0) : ((3 == 2) ? (4 > 0) : (1)))))), ((4 > 4) ? ((4 == 5) ? (4 > 0) : ((4 == 4) ? (4 > 0) : ((4 == 3) ? (4 > 0) : ((4 == 2) ? (4 > 0) : (1))))) : ((4 == 5) ? (4 > 0) : ((4 == 4) ? (4 > 0) : ((4 == 3) ? (4 > 0) : ((4 == 2) ? (4 > 0) : (1)))))), ((4 > 5) ? ((4 == 5) ? (5 > 0) : ((4 == 4) ? (5 > 0) : ((4 == 3) ? (5 > 0) : ((4 == 2) ? (5 > 0) : (1))))) : ((5 == 5) ? (4 > 0) : ((5 == 4) ? (4 > 0) : ((5 == 3) ? (4 > 0) : ((5 == 2) ? (4 > 0) : (1))))))}, {((5 > 0) ? ((5 == 5) ? (0 > 0) : ((5 == 4) ? (0 > 0) : ((5 == 3) ? (0 > 0) : ((5 == 2) ? (0 > 0) : (1))))) : ((0 == 5) ? (5 > 0) : ((0 == 4) ? (5 > 0) : ((0 == 3) ? (5 > 0) : ((0 == 2) ? (5 > 0) : (1)))))), ((5 > 1) ? ((5 == 5) ? (1 > 0) : ((5 == 4) ? (1 > 0) : ((5 == 3) ? (1 > 0) : ((5 == 2) ? (1 > 0) : (1))))) : ((1 == 5) ? (5 > 0) : ((1 == 4) ? (5 > 0) : ((1 == 3) ? (5 > 0) : ((1 == 2) ? (5 > 0) : (1)))))), ((5 > 2) ? ((5 == 5) ? (2 > 0) : ((5 == 4) ? (2 > 0) : ((5 == 3) ? (2 > 0) : ((5 == 2) ? (2 > 0) : (1))))) : ((2 == 5) ? (5 > 0) : ((2 == 4) ? (5 > 0) : ((2 == 3) ? (5 > 0) : ((2 == 2) ? (5 > 0) : (1)))))), ((5 > 3) ? ((5 == 5) ? (3 > 0) : ((5 == 4) ? (3 > 0) : ((5 == 3) ? (3 > 0) : ((5 == 2) ? (3 > 0) : (1))))) : ((3 == 5) ? (5 > 0) : ((3 == 4) ? (5 > 0) : ((3 == 3) ? (5 > 0) : ((3 == 2) ? (5 > 0) : (1)))))), ((5 > 4) ? ((5 == 5) ? (4 > 0) : ((5 == 4) ? (4 > 0) : ((5 == 3) ? (4 > 0) : ((5 == 2) ? (4 > 0) : (1))))) : ((4 == 5) ? (5 > 0) : ((4 == 4) ? (5 > 0) : ((4 == 3) ? (5 > 0) : ((4 == 2) ? (5 > 0) : (1)))))), ((5 > 5) ? ((5 == 5) ? (5 > 0) : ((5 == 4) ? (5 > 0) : ((5 == 3) ? (5 > 0) : ((5 == 2) ? (5 > 0) : (1))))) : ((5 == 5) ? (5 > 0) : ((5 == 4) ? (5 > 0) : ((5 == 3) ? (5 > 0) : ((5 == 2) ? (5 > 0) : (1))))))}};
  if (version2 >= sizeof(table[0])) {
    version2 = sizeof(table[0]) - 1;
  }
  if (version1 >= (sizeof(table) / sizeof(table[0]))) {
    version1 = (sizeof(table) / sizeof(table[0])) - 1;
  }
  return table[version1][version2];
}
```