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

```asm
<getZip>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  lea    D56(%rip),%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  call   <InputHandler@plt>
  mov    %rax,%rbp
  mov    %rax,%rdi
  call   <checkNullity@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %eax,%r12d
  cmp    $0xb,%eax
  je     L164
  cmp    $0x6,%eax
  jne    L97
L164:
  test   %r12d,%r12d
  jle    L178
L137:
  mov    %r12d,%r14d
  mov    $0x0,%ebx
  mov    $0x0,%r13d
  lea    -0x1(%r12),%r15d
  jmp    L85
L97:
  lea    D21(%rip),%rdi
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  mov    $0x14,%edi
  call   <exit@plt>
  test   %r12d,%r12d
  jg     L137
  jmp    L88
L156:
  add    $0x1,%r13d
  jmp    L167
L111:
  lea    D55(%rip),%rdi
  call   <printf@plt>
  lea    D31(%rip),%rdi
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  mov    $0x15,%edi
  call   <exit@plt>
  jmp    L92
L68:
  movsbl 0x0(%rbp,%rbx,1),%edi
  call   <isdigit@plt>
  test   %eax,%eax
  je     L158
L167:
  add    $0x1,%rbx
  cmp    %rbx,%r14
  je     L178
L85:
  cmp    $0x6,%r12d
  je     L120
  cmpb   $0x2d,0x0(%rbp,%rbx,1)
  je     L156
L120:
  cmp    $0x1,%r13d
  jg     L111
L92:
  cmp    %ebx,%r15d
  jne    L68
  cmpb   $0xa,0x0(%rbp,%rbx,1)
  jne    L68
  jmp    L167
L158:
  lea    D16(%rip),%rdi
  call   <printf@plt>
  lea    D31(%rip),%rdi
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  mov    $0x16,%edi
  call   <exit@plt>
  jmp    L167
L178:
  cmp    $0xb,%r12d
  je     L27
L88:
  mov    %rbp,%rax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L27:
  cmpb   $0x2d,0x5(%rbp)
  je     L88
  lea    D29(%rip),%rdi
  call   <printf@plt>
  lea    D31(%rip),%rdi
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <free@plt>
  mov    $0x17,%edi
  call   <exit@plt>
  jmp    L88
```

tool_calls: name: unpack_data
arguments: label: D56
data_type: string
name: unpack_data
arguments: label: D21
data_type: string
name: unpack_data
arguments: label: D55
data_type: string
name: unpack_data
arguments: label: D31
data_type: string
name: unpack_data
arguments: label: D16
data_type: string
name: unpack_data
arguments: label: D29
data_type: string

tool: D56: Enter a valid zip code: 

tool: D21: Invalid zip length


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


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


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


tool: D29: 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;
}
```