user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<getZip>:
  endbr64
  push   %r15
  lea    D35(%rip),%rdi
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  call   <printf@plt>
  xor    %eax,%eax
  call   <InputHandler@plt>
  mov    %rax,%r12
  mov    %rax,%rdi
  call   <checkNullity@plt>
  mov    %r12,%rdi
  call   <strlen@plt>
  mov    %eax,%ebx
  cmp    $0x6,%eax
  je     L136
  cmp    $0xb,%eax
  jne    L92
L136:
  test   %ebx,%ebx
  jle    L47
  cmp    $0x6,%ebx
  jne    L76
  xor    %ebx,%ebx
  lea    D55(%rip),%r13
  lea    D71(%rip),%rbp
  jmp    L120
  nopw   0x0(%rax,%rax,1)
L54:
  add    $0x1,%rbx
  cmp    $0x6,%rbx
  je     L47
L120:
  movsbl (%r12,%rbx,1),%edi
  cmp    $0x5,%rbx
  jne    L16
  cmp    $0xa,%dil
  je     L54
L16:
  call   <isdigit@plt>
  test   %eax,%eax
  jne    L54
  mov    %r13,%rdi
  add    $0x1,%rbx
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x16,%edi
  call   <exit@plt>
  cmp    $0x6,%rbx
  jne    L120
L47:
  add    $0x18,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L92:
  lea    D84(%rip),%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x14,%edi
  call   <exit@plt>
  test   %ebx,%ebx
  jle    L17
L76:
  lea    -0x1(%rbx),%eax
  mov    %ebx,%r13d
  xor    %r14d,%r14d
  xor    %ebp,%ebp
  mov    %eax,0xc(%rsp)
  lea    D71(%rip),%r15
  jmp    L70
  cs nopw 0x0(%rax,%rax,1)
L42:
  add    $0x1,%r14
  cmp    %r13,%r14
  je     L17
L70:
  cmpb   $0x2d,(%r12,%r14,1)
  je     L8
  cmp    $0x1,%ebp
  jle    L206
  lea    D89(%rip),%rdi
  call   <printf@plt>
  mov    %r15,%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x15,%edi
  call   <exit@plt>
L206:
  movsbl (%r12,%r14,1),%edi
  cmp    %r14d,0xc(%rsp)
  jne    L19
  cmp    $0xa,%dil
  je     L42
L19:
  call   <isdigit@plt>
  test   %eax,%eax
  jne    L42
  lea    D55(%rip),%rdi
  add    $0x1,%r14
  call   <printf@plt>
  mov    %r15,%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x16,%edi
  call   <exit@plt>
  cmp    %r13,%r14
  jne    L70
L17:
  cmp    $0xb,%ebx
  jne    L47
  cmpb   $0x2d,0x5(%r12)
  je     L47
  lea    D17(%rip),%rdi
  call   <printf@plt>
  lea    D71(%rip),%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x17,%edi
  call   <exit@plt>
  jmp    L47
  nopl   0x0(%rax)
L8:
  add    $0x1,%ebp
  jmp    L42
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D35
type: string
name: extract_symbolic_data
arguments: data_tag: D55
type: string
name: extract_symbolic_data
arguments: data_tag: D71
type: string
name: extract_symbolic_data
arguments: data_tag: D84
type: string
name: extract_symbolic_data
arguments: data_tag: D89
type: string
name: extract_symbolic_data
arguments: data_tag: D17
type: string

tool: D35: Enter a valid zip code: 

tool: D55: Invalid Input: Numbers only in Zip Code. 


tool: D71: Enter a Zip Code in format "12345" or "12345-6789"


tool: D84: Invalid zip length


tool: D89: Invalid Input: only 1 hyphen '-' allowed in Zip Code


tool: D17: Invalid Input: 10 digit Zip Code missing '-' 


assistant: ```c
char *getZip(void) {
  printf("Enter a valid zip code: ");
  char *zip = InputHandler();
  checkNullity(zip);
  int len = strlen(zip);
  int numHyph = 0;
  if (len != 11) {
    if (len != 6) {
      printf("Invalid zip length\n");
      free(zip);
      exit(20);
    }
  }
  for (int i = 0; i < len; i++) {
    if (len != 6 && zip[i] == '-') {
      numHyph++;
      continue;
    }
    if (numHyph > 1) {
      printf("Invalid Input: only 1 hyphen '-' allowed in Zip Code\n");
      printf("Enter a Zip Code in format \"12345\" or \"12345-6789\"\n");
      free(zip);
      exit(21);
    }
    if (i == len - 1 && zip[i] == '\n') {
      continue;
    }
    if (!isdigit(zip[i])) {
      printf("Invalid Input: Numbers only in Zip Code. \n");
      printf("Enter a Zip Code in format \"12345\" or \"12345-6789\"\n");
      free(zip);
      exit(22);
    }
  }
  if ((len == 11) && zip[5] != '-') {
    printf("Invalid Input: 10 digit Zip Code missing '-' \n");
    printf("Enter a Zip Code in format \"12345\" or \"12345-6789\"\n");
    free(zip);
    exit(23);
  }
  return zip;
}
```