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

```asm
<play_game>:
  endbr64
  push   %r15
  pxor   %xmm0,%xmm0
  xor    %edi,%edi
  push   %r14
  push   %r13
  lea    D7(%rip),%r13
  push   %r12
  lea    D35(%rip),%r12
  push   %rbp
  push   %rbx
  mov    $0x1,%ebx
  sub    $0x48,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  movaps %xmm0,(%rsp)
  movaps %xmm0,0x10(%rsp)
  movaps %xmm0,0x20(%rsp)
  movl   $0x0,0x30(%rsp)
  call   <time@plt>
  mov    %eax,%edi
  call   <srand@plt>
  nopl   (%rax)
L56:
  xor    %eax,%eax
  call   <getchar@plt>
  cmp    $0xa,%al
  jne    L56
  xor    %eax,%eax
  call   <roll_dice@plt>
  mov    %eax,%ebp
  cmp    $0xb,%eax
  je     L108
  jg     L129
  cmp    $0x3,%eax
  jg     L82
  cmp    $0x1,%eax
  jg     L37
L135:
  movslq %ebp,%r15
  mov    %ebp,%esi
  mov    (%rsp,%r15,4),%r14d
  cmp    $0x1,%r14d
  je     L55
  mov    %r13,%rdi
  xor    %eax,%eax
  add    $0x1,%ebx
  call   <printf@plt>
  mov    %ebp,%esi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  movl   $0x1,(%rsp,%r15,4)
  jmp    L56
  nopl   0x0(%rax,%rax,1)
L129:
  cmp    $0xc,%eax
  jne    L135
L37:
  mov    %ebp,%esi
  lea    D85(%rip),%rdi
L30:
  xor    %eax,%eax
  xor    %r14d,%r14d
  call   <printf@plt>
  lea    D5(%rip),%rdi
  call   <puts@plt>
L132:
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L79
  add    $0x48,%rsp
  mov    %r14d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  xchg   %ax,%ax
L82:
  cmp    $0x7,%eax
  jne    L135
L108:
  cmp    $0x1,%ebx
  jne    L119
  mov    %ebp,%esi
  lea    D80(%rip),%rdi
  xor    %eax,%eax
  mov    $0x1,%r14d
  call   <printf@plt>
  lea    D39(%rip),%rdi
  call   <puts@plt>
  jmp    L132
L55:
  lea    D7(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D39(%rip),%rdi
  call   <puts@plt>
  jmp    L132
L119:
  mov    %ebp,%esi
  lea    D9(%rip),%rdi
  jmp    L30
L79:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: tag: D7
data_type: string
name: unpack_data
arguments: tag: D35
data_type: string
name: unpack_data
arguments: tag: D85
data_type: string
name: unpack_data
arguments: tag: D5
data_type: string
name: unpack_data
arguments: tag: D80
data_type: string
name: unpack_data
arguments: tag: D39
data_type: string
name: unpack_data
arguments: tag: D9
data_type: string

tool: D7: you rolled %d


tool: D35: you point is %d


tool: D85: you rolled: %d



tool: D5: you lose

tool: D80: you rolled %d on first roll.



tool: D39: you win

tool: D9: you rolled %d more than once


assistant: ```c
bool play_game() {
  int trial, sum;
  bool points_table[6 + 6 + 1] = {0};
  srand((unsigned)time(NULL));
  for (trial = 1;; trial++) {
    while (getchar() != '\n') {
    }
    sum = roll_dice();
    switch (sum) {
    case 2:
    case 3:
    case 12: {
      printf("you rolled: %d\n\n", sum);
      printf("you lose\n");
      return false;
    }
    case 7:
    case 11: {
      if (trial == 1) {
        printf("you rolled %d on first roll.\n\n", sum);
        printf("you win\n");
        return true;
      } else if ((sum == 7 || sum == 11) && trial != 1) {
        printf("you rolled %d more than once\n", sum);
        printf("you lose\n");
        return false;
      }
    }
    default: {
      if (points_table[sum] == true) {
        printf("you rolled %d\n", sum);
        printf("you win\n");
        return true;
      } else {
        printf("you rolled %d\n", sum);
        printf("you point is %d\n", sum);
        points_table[sum] = true;
      }
    }
    }
  }
}
```