user: Converte this assembly snippet into its equivalent C code:

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x10,%rsp
  lea    D56(%rip),%rdi
  call   <puts@plt>
  mov    0x30000080,%r12d
  mov    %r12d,%esi
  lea    D15(%rip),%rdi
  call   <my_printf@plt>
  mov    0x30000080,%ebp
  mov    %ebp,%esi
  lea    D45(%rip),%rdi
  call   <my_printf@plt>
  mov    %r12d,%ebx
  imul   %ebp,%ebx
  mov    %ebx,%esi
  lea    D34(%rip),%rdi
  call   <my_printf@plt>
  cmp    $0x8000,%ebx
  ja     L20
  mov    %r12d,0x30000090
  mov    %ebp,0x30000090
  movl   $0xff,0x30000090
  test   %ebx,%ebx
  je     L27
L30:
  mov    $0x0,%eax
L34:
  mov    0x30000080,%edx
  mov    %edx,0x30000090
  movl   $0x0,0x30000090
  movl   $0x0,0x30000090
  mov    0x30000080,%edx
  mov    %edx,0xc(%rsp)
  mov    0x30000080,%edx
  mov    %edx,0xc(%rsp)
  add    $0x1,%eax
  cmp    %ebx,%eax
  jb     L34
L27:
  lea    D20(%rip),%rdi
  call   <puts@plt>
  mov    $0x0,%eax
  call   <stop@plt>
  mov    $0x0,%eax
  add    $0x10,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L20:
  lea    D58(%rip),%rdi
  call   <puts@plt>
  mov    %r12d,0x30000090
  mov    %ebp,0x30000090
  movl   $0xff,0x30000090
  jmp    L30
```

tool_calls: name: read_data
arguments: data_tag: D56
type: string
name: read_data
arguments: data_tag: D15
type: string
name: read_data
arguments: data_tag: D45
type: string
name: read_data
arguments: data_tag: D34
type: string
name: read_data
arguments: data_tag: D20
type: string
name: read_data
arguments: data_tag: D58
type: string

tool: D56: starting MAIN execution


tool: D15: nbre de colonnes dans l'image: 

tool: D45: nbre de lignes dans l'image: 

tool: D34: nbre de pixel dans l'image: 

tool: D20: Fin du programme


tool: D58: WARNING :image trop volumineuse, taille max = 32768 octets

assistant: ```c
int main(void) {
  puts("starting MAIN execution\n");
  unsigned short tmp;
  unsigned char max, min;
  unsigned short beta;
  unsigned int data_pack, min_max_pack;
  unsigned int beta_mini;
  unsigned char mini, maxi;
  int i;
  unsigned int start_c, stop_c;
  unsigned int col_nb, row_nb, pixel_nb;
  unsigned int A_row_ix, A_col_ix, B_row_ix, B_col_ix, row, col;
  volatile unsigned int dump;
  A_row_ix = 25;
  A_col_ix = 50;
  B_row_ix = 75;
  B_col_ix = 100;
  col_nb = (*(volatile unsigned int *)(0x30000080));
  my_printf("nbre de colonnes dans l'image: ", col_nb);
  row_nb = (*(volatile unsigned int *)(0x30000080));
  my_printf("nbre de lignes dans l'image: ", row_nb);
  pixel_nb = col_nb * row_nb;
  my_printf("nbre de pixel dans l'image: ", pixel_nb);
  if (pixel_nb > 32768) {
    puts("WARNING :image trop volumineuse, taille max = 32768 octets");
  }
  *(volatile unsigned int *)(0x30000090) = (col_nb);
  *(volatile unsigned int *)(0x30000090) = (row_nb);
  *(volatile unsigned int *)(0x30000090) = (255);
  for (i = 0; i < pixel_nb; i++) {
    *(volatile unsigned int *)(0x30000090) = ((*(volatile unsigned int *)(0x30000080)));
    *(volatile unsigned int *)(0x30000090) = (0);
    *(volatile unsigned int *)(0x30000090) = (0);
    dump = (*(volatile unsigned int *)(0x30000080));
    dump = (*(volatile unsigned int *)(0x30000080));
  }
  puts("Fin du programme\n");
  stop();
}
```