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

```asm
<printDrawnNumbers>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  movslq %esi,%r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x38,%rsp
  mov    %esi,-0x4c(%rbp)
  mov    %edi,-0x50(%rbp)
  mov    %rsp,%rsi
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  lea    0xf(,%r14,4),%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rsi
  and    $0xfffffffffffffff0,%rdx
  cmp    %rsi,%rsp
  je     L102
L2:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rsi,%rsp
  jne    L2
L102:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L104
L171:
  movslq -0x50(%rbp),%rax
  mov    %rsp,%rsi
  mov    %rsp,%r13
  lea    0xf(,%rax,4),%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rsi
  and    $0xfffffffffffffff0,%rdx
  cmp    %rsi,%rsp
  je     L61
L54:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rsi,%rsp
  jne    L54
L61:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L133
L36:
  mov    -0x4c(%rbp),%ecx
  mov    %rsp,-0x58(%rbp)
  test   %ecx,%ecx
  jle    L114
  lea    -0x1(%rcx),%eax
  cmp    $0x2,%eax
  jbe    L116
  shr    $0x2,%ecx
  movdqa D17(%rip),%xmm1
  mov    %r13,%rax
  movdqa D43(%rip),%xmm3
  mov    %ecx,%edx
  movdqa D27(%rip),%xmm2
  shl    $0x4,%rdx
  add    %r13,%rdx
L149:
  movdqa %xmm1,%xmm0
  add    $0x10,%rax
  paddd  %xmm3,%xmm1
  paddd  %xmm2,%xmm0
  movups %xmm0,-0x10(%rax)
  cmp    %rdx,%rax
  jne    L149
  mov    -0x4c(%rbp),%ecx
  mov    %ecx,%eax
  and    $0xfffffffc,%eax
  and    $0x3,%ecx
  je     L114
L16:
  movslq %eax,%rdx
  mov    -0x4c(%rbp),%ecx
  lea    0x1(%rax),%esi
  lea    0x0(%r13,%rdx,4),%rdx
  mov    %esi,(%rdx)
  cmp    %esi,%ecx
  jle    L114
  lea    0x2(%rax),%esi
  mov    %esi,0x4(%rdx)
  cmp    %esi,%ecx
  jle    L114
  add    $0x3,%eax
  mov    %eax,0x8(%rdx)
L114:
  mov    -0x50(%rbp),%eax
  test   %eax,%eax
  jle    L84
  lea    -0x1(%r14),%r12
  mov    -0x58(%rbp),%r15
  sub    $0x1,%eax
  mov    %r12,%rcx
  sub    %rax,%rcx
  mov    %r15,%rbx
  mov    %rcx,-0x48(%rbp)
  jmp    L7
  nop
L53:
  sub    $0x1,%r12
L7:
  xor    %eax,%eax
  add    $0x4,%r15
  call   <rand@plt>
  cltd
  idiv   %r14d
  movslq %edx,%rdx
  mov    0x0(%r13,%rdx,4),%eax
  mov    %eax,-0x4(%r15)
  mov    -0x4(%r13,%r14,4),%eax
  mov    %r12,%r14
  mov    %eax,0x0(%r13,%rdx,4)
  cmp    -0x48(%rbp),%r12
  jne    L53
  mov    -0x50(%rbp),%r12d
  mov    -0x58(%rbp),%r14
  mov    %r12d,%esi
  mov    %r14,%rdi
  lea    (%r14,%r12,4),%r13
  call   <bubblesort@plt>
  mov    -0x4c(%rbp),%edx
  mov    %r12d,%esi
  xor    %eax,%eax
  lea    D47(%rip),%rdi
  lea    D15(%rip),%r12
  call   <printf@plt>
  nopl   0x0(%rax)
L77:
  mov    (%rbx),%esi
  mov    %r12,%rdi
  xor    %eax,%eax
  add    $0x4,%rbx
  call   <printf@plt>
  cmp    %r13,%rbx
  jne    L77
L11:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L135
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
  nopl   0x0(%rax,%rax,1)
L104:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L171
  nopl   0x0(%rax,%rax,1)
L84:
  mov    -0x58(%rbp),%rdi
  mov    %eax,%esi
  mov    %eax,%ebx
  call   <bubblesort@plt>
  mov    -0x4c(%rbp),%edx
  mov    %ebx,%esi
  xor    %eax,%eax
  lea    D47(%rip),%rdi
  call   <printf@plt>
  jmp    L11
L116:
  xor    %eax,%eax
  jmp    L16
L133:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L36
L135:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D17
type_infered: byte[16]
name: extract_symbolic_data
arguments: tag: D43
type_infered: byte[16]
name: extract_symbolic_data
arguments: tag: D27
type_infered: byte[16]
name: extract_symbolic_data
arguments: tag: D47
type_infered: string
name: extract_symbolic_data
arguments: tag: D15
type_infered: string

tool: {"D17": [0x00,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x00]}

tool: {"D43": [0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

tool: {"D27": [0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00]}

tool: D47: ===== %d aus %d =====


tool: D15: %5d

assistant: ```c
void printDrawnNumbers(int count, int all) {
  int aAll[all], picks[count], i, rest = all;
  for (i = 0; i < all; i++)
    aAll[i] = i + 1;
  for (i = 0; i < count; i++) {
    int iPick = rand() % rest--;
    picks[i] = aAll[iPick];
    aAll[iPick] = aAll[rest];
  }
  bubblesort(picks, count);
  printf("===== %d aus %d =====\n", count, all);
  for (i = 0; i < count; i++)
    printf("%5d", picks[i]);
}
```