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

```asm
<parse_server_args>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  cmp    $0x1,%edi
  jle    L50
  mov    %rsi,%rbx
  mov    %rdx,%rbp
  cmp    $0x2,%edi
  je     L56
  mov    0x10(%rsi),%rdi
  mov    $0x7,%edx
  lea    D49(%rip),%rsi
  call   <strncmp@plt>
  test   %rax,%rax
  je     L117
  movl   $0x457,0x0(%rbp)
  mov    $0x0,%eax
L37:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L50:
  mov    $0x0,%eax
  call   <print_usage_details@plt>
  lea    D48(%rip),%rdi
  call   <printf@plt>
  lea    D2(%rip),%rdi
  call   <printf@plt>
  mov    $0xffffffff,%eax
  jmp    L37
L56:
  movl   $0x457,(%rdx)
  mov    $0x0,%eax
  jmp    L37
L117:
  mov    0x10(%rbx),%rdi
  call   <strlen@plt>
  lea    -0x6(%rax),%r13d
  mov    %r13d,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    0x10(%rbx),%rsi
  add    $0x7,%rsi
  mov    %r13d,%edx
  mov    %rax,%rdi
  call   <strncpy@plt>
  movslq %r13d,%r13
  movb   $0x0,(%r12,%r13,1)
  movzbl (%r12),%edi
  test   %dil,%dil
  je     L88
  lea    0x1(%r12),%rbx
L2:
  movsbl %dil,%edi
  call   <isdigit@plt>
  test   %eax,%eax
  je     L25
  add    $0x1,%rbx
  movzbl -0x1(%rbx),%edi
  test   %dil,%dil
  jne    L2
L88:
  mov    %r12,%rdi
  call   <atoi@plt>
  cmp    $0xffff,%eax
  jg     L52
  mov    %eax,0x0(%rbp)
  mov    %r12,%rdi
  call   <free@plt>
  mov    $0x0,%eax
  jmp    L37
L25:
  call   <print_usage_details@plt>
  lea    D43(%rip),%rdi
  call   <printf@plt>
  mov    $0xffffffff,%eax
  jmp    L37
L52:
  mov    $0x0,%eax
  call   <print_usage_details@plt>
  lea    D40(%rip),%rdi
  call   <printf@plt>
  mov    $0xffffffff,%eax
  jmp    L37
```

tool_calls: name: extract_symbolic_data
arguments: tag: D49
type_infered: string
name: extract_symbolic_data
arguments: tag: D48
type_infered: string
name: extract_symbolic_data
arguments: tag: D2
type_infered: string
name: extract_symbolic_data
arguments: tag: D43
type_infered: string
name: extract_symbolic_data
arguments: tag: D40
type_infered: string

tool: D49: --port=

tool: D48: Starting a server


tool: D2: Had less than 2 arguments
.

tool: D43: Found a character in the port number


tool: D40: Port number was greater than 65535


assistant: ```c
int parse_server_args(int argc, char **argv, int *server_port) {
  int numPortChars, counter;
  char *szPort;
  int iPort;
  if (argc < 2) {
    print_usage_details();
    printf("Starting a server\n");
    printf("Had less than 2 arguments\n.");
    return -1;
  } else if (argc == 2) {
    *server_port = 1111;
    return 0;
  }
  if (strncmp(argv[2], "--port=", 7) == 0) {
    numPortChars = strlen(argv[2]) - 7 + 1;
    szPort = malloc(numPortChars * sizeof(char));
    strncpy(szPort, argv[2] + 7, numPortChars);
    szPort[numPortChars] = '\0';
    counter = 0;
    while (szPort[counter] != '\0') {
      if (!isdigit(szPort[counter])) {
        print_usage_details();
        printf("Found a character in the port number\n");
        return -1;
      }
      counter++;
    }
    iPort = atoi(szPort);
    if (iPort > 65535) {
      print_usage_details();
      printf("Port number was greater than 65535\n");
      return -1;
    }
    *server_port = iPort;
    free(szPort);
  } else
    *server_port = 1111;
  return 0;
}
```