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

```asm
<str_ipa_hhmm>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %rdi,-0x18(%rbp)
  cmpq   $0x0,-0x18(%rbp)
  setne  %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0x18(%rbp),%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L154
  mov    -0x18(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L154
  mov    -0x18(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L154
  mov    -0x18(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L154
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  movzbl (%rax),%eax
  test   %al,%al
  je     L31
L154:
  mov    $0x0,%eax
  jmp    L45
L31:
  mov    -0x18(%rbp),%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  mov    $0x32,%edx
  mov    $0x30,%esi
  mov    %eax,%edi
  call   <char_is_in_range@plt>
  test   %eax,%eax
  je     L121
  mov    -0x18(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  mov    $0x39,%edx
  mov    $0x30,%esi
  mov    %eax,%edi
  call   <char_is_in_range@plt>
  test   %eax,%eax
  je     L121
  mov    -0x18(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  mov    $0x35,%edx
  mov    $0x30,%esi
  mov    %eax,%edi
  call   <char_is_in_range@plt>
  test   %eax,%eax
  je     L121
  mov    -0x18(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  mov    $0x39,%edx
  mov    $0x30,%esi
  mov    %eax,%edi
  call   <char_is_in_range@plt>
  test   %eax,%eax
  jne    L133
L121:
  mov    $0x0,%eax
  jmp    L45
L133:
  mov    -0x18(%rbp),%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  lea    -0x30(%rax),%edx
  mov    %edx,%eax
  shl    $0x2,%eax
  add    %edx,%eax
  add    %eax,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  sub    $0x30,%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  lea    -0x30(%rax),%edx
  mov    %edx,%eax
  shl    $0x2,%eax
  add    %edx,%eax
  add    %eax,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  sub    $0x30,%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  cmpl   $0x18,-0x8(%rbp)
  jle    L56
  mov    $0x0,%eax
  jmp    L45
L56:
  cmpl   $0x3b,-0x4(%rbp)
  jg     L26
  cmpl   $0x18,-0x8(%rbp)
  jne    L136
  cmpl   $0x0,-0x4(%rbp)
  je     L136
L26:
  mov    $0x0,%eax
  jmp    L45
L136:
  mov    $0x1,%eax
L45:
  leave
  ret
```

assistant: ```c
bool str_ipa_hhmm(const char *s) {
  assert(s != NULL);
  if (s[0] == '\0' || s[1] == '\0' || s[2] == '\0' || s[3] == '\0' || s[4] != '\0')
    return false;
  if (!char_is_in_range(s[0], '0', '2') || !char_is_in_range(s[1], '0', '9') || !char_is_in_range(s[2], '0', '5') || !char_is_in_range(s[3], '0', '9'))
    return false;
  const int hours = ((s[0] - '0') * 10) + (s[1] - '0');
  const int minutes = ((s[2] - '0') * 10) + (s[3] - '0');
  if (hours > 24)
    return false;
  if (minutes > 59 || (hours == 24 && minutes != 0))
    return false;
  return true;
}
```