user: What would the C source look like for the assembly code provided here?

```asm
<getZip>:
  endbr64
  push   %r15
  lea    D30(%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     L76
  cmp    $0xb,%eax
  jne    L15
L76:
  test   %ebx,%ebx
  jle    L99
L22:
  lea    -0x1(%rbx),%eax
  movslq %ebx,%r13
  xor    %r14d,%r14d
  xor    %ebp,%ebp
  mov    %eax,0xc(%rsp)
  lea    D40(%rip),%r15
  jmp    L97
  nopl   0x0(%rax,%rax,1)
L66:
  add    $0x1,%r14
  cmp    %r14,%r13
  je     L129
L97:
  cmp    $0x6,%ebx
  je     L153
  cmpb   $0x2d,(%r12,%r14,1)
  je     L139
L153:
  cmp    $0x1,%ebp
  jle    L81
  lea    D13(%rip),%rdi
  call   <printf@plt>
  mov    %r15,%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x15,%edi
  call   <exit@plt>
L81:
  movsbl (%r12,%r14,1),%edi
  cmp    %r14d,0xc(%rsp)
  jne    L88
  cmp    $0xa,%dil
  je     L66
L88:
  call   <isdigit@plt>
  test   %eax,%eax
  jne    L66
  lea    D5(%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    %r14,%r13
  jne    L97
L129:
  cmp    $0xb,%ebx
  je     L122
L99:
  add    $0x18,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L139:
  add    $0x1,%ebp
  jmp    L66
  nopl   0x0(%rax,%rax,1)
L122:
  cmpb   $0x2d,0x5(%r12)
  je     L99
  lea    D39(%rip),%rdi
  call   <printf@plt>
  lea    D40(%rip),%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x17,%edi
  call   <exit@plt>
  jmp    L99
  nopl   0x0(%rax)
L15:
  lea    D36(%rip),%rdi
  call   <printf@plt>
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x14,%edi
  call   <exit@plt>
  test   %ebx,%ebx
  jg     L22
  jmp    L99
```

tool_calls: name: read_data
arguments: tag: D30
data_type: string
name: read_data
arguments: tag: D40
data_type: string
name: read_data
arguments: tag: D13
data_type: string
name: read_data
arguments: tag: D5
data_type: string
name: read_data
arguments: tag: D39
data_type: string
name: read_data
arguments: tag: D36
data_type: string

tool: D30: Enter a valid zip code: 

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


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


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


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


tool: D36: Invalid zip length


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;
}
```