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

```asm
<example>:
  endbr64
  push   %r12
  lea    D59(%rip),%rdi
  push   %rbp
  lea    D45(%rip),%rbp
  sub    $0x18,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  movl   $0x64,(%rsp)
  lea    0x4(%rsp),%r12
  movl   $0x0,0x4(%rsp)
  call   <puts@plt>
  mov    %rbp,%rsi
  lea    D88(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <sequential_create_product@plt>
  mov    %rbp,%rsi
  lea    D110(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    (%rsp),%esi
  mov    %rbp,%rdx
  xor    %eax,%eax
  lea    D78(%rip),%rdi
  call   <printf@plt>
  mov    (%rsp),%esi
  mov    %r12,%rdx
  mov    %rbp,%rdi
  call   <sequential_increment_stock@plt>
  mov    0x4(%rsp),%edx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D60(%rip),%rdi
  call   <printf@plt>
  mov    (%rsp),%esi
  mov    %rbp,%rdx
  xor    %eax,%eax
  lea    D47(%rip),%rdi
  call   <printf@plt>
  mov    (%rsp),%esi
  mov    %r12,%rdx
  mov    %rbp,%rdi
  call   <sequential_decrement_stock@plt>
  mov    0x4(%rsp),%edx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D25(%rip),%rdi
  call   <printf@plt>
  mov    %rbp,%rsi
  lea    D116(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rsp,%rsi
  mov    %rbp,%rdi
  call   <sequential_get_stock@plt>
  mov    (%rsp),%edx
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D14(%rip),%rdi
  call   <printf@plt>
  mov    %rbp,%rsi
  lea    D53(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <sequential_delete_product@plt>
  xor    %eax,%eax
  mov    %rbp,%rsi
  lea    D92(%rip),%rdi
  call   <printf@plt>
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0x18,%rsp
  pop    %rbp
  pop    %r12
  ret
L7:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_tag: D59
type_infered: string
name: read_data
arguments: data_tag: D45
type_infered: string
name: read_data
arguments: data_tag: D88
type_infered: string
name: read_data
arguments: data_tag: D110
type_infered: string
name: read_data
arguments: data_tag: D78
type_infered: string
name: read_data
arguments: data_tag: D60
type_infered: string
name: read_data
arguments: data_tag: D47
type_infered: string
name: read_data
arguments: data_tag: D25
type_infered: string
name: read_data
arguments: data_tag: D116
type_infered: string
name: read_data
arguments: data_tag: D14
type_infered: string
name: read_data
arguments: data_tag: D53
type_infered: string
name: read_data
arguments: data_tag: D92
type_infered: string

tool: D59: Executing sequential example 

tool: D45: product1

tool: D88: Creating product %s. 


tool: D110: Created product %s. 


tool: D78: Incrementing stock in %d units in product %s. 


tool: D60: Stock incremented in product %s, new stock: %d units. 


tool: D47: Decrementing stock in %d units in product %s. 


tool: D25: Decremented stock in product %s, new stock: %d units. 


tool: D116: Obteining stock from product %s. 


tool: D14: Stock obtained. The product %s has an stock of %d units. 


tool: D53: Deleting product %s. 


tool: D92: Deleted %s deleted. 


assistant: ```c
void example(void) {
  int stock = 100, updated_stock = 0;
  char *product_name = "product1";
  printf("Executing sequential example \n");
  printf("Creating product %s. \n", product_name);
  sequential_create_product(product_name);
  printf("Created product %s. \n", product_name);
  printf("Incrementing stock in %d units in product %s. \n", stock, product_name);
  sequential_increment_stock(product_name, stock, &updated_stock);
  printf("Stock incremented in product %s, new stock: %d units. \n", product_name, updated_stock);
  printf("Decrementing stock in %d units in product %s. \n", stock, product_name);
  sequential_decrement_stock(product_name, stock, &updated_stock);
  printf("Decremented stock in product %s, new stock: %d units. \n", product_name, updated_stock);
  printf("Obteining stock from product %s. \n", product_name);
  sequential_get_stock(product_name, &stock);
  printf("Stock obtained. The product %s has an stock of %d units. \n", product_name, stock);
  printf("Deleting product %s. \n", product_name);
  sequential_delete_product(product_name);
  printf("Deleted %s deleted. \n", product_name);
}
```