user: Demonstrate the C code that generates the assembly output below:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  lea    -0x44(%rbp),%rsi
  push   %r13
  push   %r12
  push   %rbx
  lea    D3(%rip),%rbx
  mov    %rbx,%rdi
  sub    $0x48,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  call   <scanf@plt>
  mov    -0x44(%rbp),%r10d
  test   %r10d,%r10d
  jle    L189
  lea    -0x3c(%rbp),%rax
  movl   $0x0,-0x54(%rbp)
  mov    %rax,-0x70(%rbp)
  lea    -0x40(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  nopl   0x0(%rax,%rax,1)
L68:
  mov    -0x70(%rbp),%rdx
  mov    -0x68(%rbp),%rsi
  xor    %eax,%eax
  mov    %rsp,-0x60(%rbp)
  lea    D38(%rip),%rdi
  call   <scanf@plt>
  movslq -0x40(%rbp),%rax
  mov    %rsp,%rsi
  mov    %rax,%rcx
  lea    0xf(,%rax,4),%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rsi
  and    $0xfffffffffffffff0,%rdx
  cmp    %rsi,%rsp
  je     L54
L33:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rsi,%rsp
  jne    L33
L54:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  je     L30
  orq    $0x0,-0x8(%rsp,%rdx,1)
L30:
  mov    %rsp,%r12
  test   %ecx,%ecx
  jle    L172
  mov    %r12,%r15
  mov    %r12,%r14
  xor    %r13d,%r13d
  xchg   %ax,%ax
L141:
  mov    %r14,%rsi
  mov    %rbx,%rdi
  xor    %eax,%eax
  add    $0x1,%r13d
  call   <scanf@plt>
  mov    -0x40(%rbp),%esi
  add    $0x4,%r14
  cmp    %r13d,%esi
  jg     L141
  test   %esi,%esi
  jle    L172
  lea    -0x1(%rsi),%eax
  cmp    $0x2,%eax
  jbe    L164
  mov    %esi,%eax
  pxor   %xmm1,%xmm1
  shr    $0x2,%eax
  shl    $0x4,%rax
  add    %r12,%rax
  nopl   0x0(%rax)
L39:
  movdqu (%r15),%xmm0
  pxor   %xmm2,%xmm2
  add    $0x10,%r15
  pcmpgtd %xmm2,%xmm0
  pcmpeqd %xmm2,%xmm0
  psubd  %xmm0,%xmm1
  cmp    %r15,%rax
  jne    L39
  movdqa %xmm1,%xmm0
  mov    %esi,%edx
  psrldq $0x8,%xmm0
  and    $0xfffffffc,%edx
  paddd  %xmm0,%xmm1
  movdqa %xmm1,%xmm0
  psrldq $0x4,%xmm0
  paddd  %xmm0,%xmm1
  movd   %xmm1,%eax
  test   $0x3,%sil
  je     L180
L85:
  movslq %edx,%rcx
  xor    %edi,%edi
  lea    (%r12,%rcx,4),%rcx
  mov    (%rcx),%r9d
  test   %r9d,%r9d
  setle  %dil
  add    %edi,%eax
  lea    0x1(%rdx),%edi
  cmp    %edi,%esi
  jle    L180
  mov    0x4(%rcx),%r8d
  xor    %edi,%edi
  test   %r8d,%r8d
  setle  %dil
  add    $0x2,%edx
  add    %edi,%eax
  cmp    %edx,%esi
  jle    L180
  mov    0x8(%rcx),%ecx
  xor    %edx,%edx
  test   %ecx,%ecx
  setle  %dl
  add    %edx,%eax
L180:
  cmp    %eax,-0x3c(%rbp)
  jg     L2
  lea    D27(%rip),%rdi
  call   <printf@plt>
  addl   $0x1,-0x54(%rbp)
  mov    -0x60(%rbp),%rsp
  mov    -0x54(%rbp),%eax
  cmp    -0x44(%rbp),%eax
  jl     L68
L189:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L69
  lea    -0x28(%rbp),%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
  nopw   0x0(%rax,%rax,1)
L2:
  lea    D32(%rip),%rdi
  call   <printf@plt>
  addl   $0x1,-0x54(%rbp)
  mov    -0x60(%rbp),%rsp
  mov    -0x54(%rbp),%eax
  cmp    %eax,-0x44(%rbp)
  jg     L68
  jmp    L189
L172:
  xor    %eax,%eax
  jmp    L180
L164:
  xor    %edx,%edx
  xor    %eax,%eax
  jmp    L85
L69:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D3
datatype: string
name: extract_symbolic_data
arguments: data_tag: D38
datatype: string
name: extract_symbolic_data
arguments: data_tag: D27
datatype: string
name: extract_symbolic_data
arguments: data_tag: D32
datatype: string

tool: D3: %d

tool: D38: %d %d

tool: D27: NO


tool: D32: YES


assistant: ```c
int main() {
  int t;
  scanf("%d", &t);
  for (int a0 = 0; a0 < t; a0++) {
    int n;
    int k;
    int onTime;
    scanf("%d %d", &n, &k);
    int a[n];
    for (int a_i = 0; a_i < n; a_i++) {
      scanf("%d", &a[a_i]);
    }
    for (int i = 0; i < n; i++) {
      if (a[i] <= 0) {
        onTime++;
      }
    }
    if (onTime >= k) {
      printf("NO\n");
    } else {
      printf("YES\n");
    }
    onTime = 0;
  }
  return 0;
}
```