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

```asm
<main>:
  endbr64
  push   %r12
  lea    D23(%rip),%rdi
  push   %rbp
  push   %rbx
  sub    $0x10,%rsp
  call   <puts@plt>
  mov    0x30000080,%r12d
  lea    D15(%rip),%rdi
  mov    %r12d,%esi
  mov    %r12d,%ebx
  call   <my_printf@plt>
  mov    0x30000080,%ebp
  lea    D56(%rip),%rdi
  imul   %ebp,%ebx
  mov    %ebp,%esi
  call   <my_printf@plt>
  lea    D22(%rip),%rdi
  mov    %ebx,%esi
  call   <my_printf@plt>
  cmp    $0x8000,%ebx
  ja     L37
  mov    %r12d,0x30000090
  mov    %ebp,0x30000090
  movl   $0xff,0x30000090
  test   %ebx,%ebx
  je     L22
L11:
  xor    %eax,%eax
L35:
  mov    0x30000080,%edx
  add    $0x1,%eax
  mov    %edx,0x30000090
  movl   $0x0,0x30000090
  movl   $0x0,0x30000090
  mov    0x30000080,%edx
  mov    %edx,0xc(%rsp)
  mov    0x30000080,%edx
  mov    %edx,0xc(%rsp)
  cmp    %eax,%ebx
  ja     L35
L22:
  lea    D52(%rip),%rdi
  call   <puts@plt>
  xor    %eax,%eax
  call   <stop@plt>
  add    $0x10,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L37:
  lea    D33(%rip),%rdi
  call   <puts@plt>
  mov    %r12d,0x30000090
  mov    %ebp,0x30000090
  movl   $0xff,0x30000090
  jmp    L11
```

tool_calls: name: retrieve_data
arguments: data_tag: D23
data_type: string
name: retrieve_data
arguments: data_tag: D15
data_type: string
name: retrieve_data
arguments: data_tag: D56
data_type: string
name: retrieve_data
arguments: data_tag: D22
data_type: string
name: retrieve_data
arguments: data_tag: D52
data_type: string
name: retrieve_data
arguments: data_tag: D33
data_type: string

tool: D23: starting MAIN execution


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

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

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

tool: D52: Fin du programme


tool: D33: 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();
}
```