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

```asm
<demo>:
  endbr64
  push   %r15
  xor    %eax,%eax
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  call   <screen_width@plt>
  mov    %eax,%r13d
  xor    %eax,%eax
  call   <screen_height@plt>
  mov    %eax,%r14d
  xor    %eax,%eax
  call   <rand@plt>
  lea    -0x15(%r13),%ecx
  cltd
  idiv   %ecx
  xor    %eax,%eax
  lea    0x10(%rdx),%ebp
  mov    %edx,%ebx
  call   <rand@plt>
  lea    -0xa(%r14),%ecx
  sub    %ebp,%r13d
  cltd
  idiv   %ecx
  xor    %eax,%eax
  lea    0x5(%rdx),%r12d
  mov    %edx,0xc(%rsp)
  mov    %edx,%r15d
  call   <rand@plt>
  lea    -0x5(%r13),%ecx
  sub    %r12d,%r14d
  cltd
  idiv   %ecx
  xor    %eax,%eax
  mov    %edx,%r13d
  call   <rand@plt>
  lea    -0x5(%r14),%ecx
  xor    %esi,%esi
  xor    %edi,%edi
  cltd
  idiv   %ecx
  mov    %ebp,%ecx
  mov    %edx,%r14d
  lea    D25(%rip),%rdx
  call   <draw_formatted@plt>
  xor    %edi,%edi
  mov    %r12d,%ecx
  mov    $0x1,%esi
  lea    D17(%rip),%rdx
  call   <draw_formatted@plt>
  xor    %edi,%edi
  mov    %r13d,%ecx
  mov    $0x2,%esi
  lea    D12(%rip),%rdx
  call   <draw_formatted@plt>
  xor    %edi,%edi
  mov    %r14d,%ecx
  mov    $0x3,%esi
  lea    D21(%rip),%rdx
  call   <draw_formatted@plt>
  lea    0x4(%rbp,%r13,1),%eax
  add    $0xb,%ebx
  mov    %eax,0x8(%rsp)
  cmp    %eax,%ebx
  jg     L64
  lea    0x4(%r12,%r14,1),%eax
  mov    %eax,0x4(%rsp)
  cmp    %eax,%r15d
  jg     L64
  nopl   0x0(%rax)
L31:
  mov    0xc(%rsp),%r15d
  jmp    L67
  nopw   0x0(%rax,%rax,1)
L46:
  mov    %r15d,%esi
  mov    $0x2b,%edx
  mov    %ebx,%edi
  add    $0x1,%r15d
  call   <draw_char@plt>
  cmp    0x4(%rsp),%r15d
  jg     L0
L67:
  mov    %r14d,%r9d
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    %ebp,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  call   <inside_rect@plt>
  test   %eax,%eax
  jne    L46
  mov    %r15d,%esi
  mov    $0x23,%edx
  mov    %ebx,%edi
  add    $0x1,%r15d
  call   <draw_char@plt>
  cmp    0x4(%rsp),%r15d
  jle    L67
L0:
  add    $0x1,%ebx
  cmp    0x8(%rsp),%ebx
  jle    L31
L64:
  add    $0x18,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10c0 <show_screen@plt>
```

tool_calls: name: retrieve_data
arguments: label: D25
type_infered: string
name: retrieve_data
arguments: label: D17
type_infered: string
name: retrieve_data
arguments: label: D12
type_infered: string
name: retrieve_data
arguments: label: D21
type_infered: string

tool: D25: left  : %d


tool: D17: top   : %d


tool: D12: width : %d


tool: D21: height: %d


assistant: ```c
void demo() {
  const int X_MAX = screen_width();
  const int Y_MAX = screen_height();
  const int LEFT = 11;
  const int MARGIN = 5;
  int left = LEFT + MARGIN + rand() % (X_MAX - LEFT - 2 * MARGIN);
  int top = MARGIN + rand() % (Y_MAX - 2 * MARGIN);
  int width = rand() % (X_MAX - left - MARGIN);
  int height = rand() % (Y_MAX - top - MARGIN);
  draw_formatted(0, 0, "left  : %d\n", left);
  draw_formatted(0, 1, "top   : %d\n", top);
  draw_formatted(0, 2, "width : %d\n", width);
  draw_formatted(0, 3, "height: %d\n", height);
  int x = left - MARGIN;
  while (x < (left + width + MARGIN)) {
    int y = top - MARGIN;
    while (y < (top + height + MARGIN)) {
      bool inside = inside_rect(x, y, left, top, width, height);
      if (inside) {
        draw_char(x, y, '+');
      } else {
        draw_char(x, y, '#');
      }
      y++;
    }
    x++;
  }
  show_screen();
}
```