user: Demonstrate the C code that generates the assembly output below:

```asm
<test_spg_get_international>:
  endbr64
  push   %r12
  pxor   %xmm0,%xmm0
  xor    %r9d,%r9d
  mov    $0x6,%r8d
  push   %rbp
  sub    $0x128,%rsp
  movq   D145(%rip),%xmm1
  mov    %fs:0x28,%rax
  mov    %rax,0x118(%rsp)
  xor    %eax,%eax
  movaps %xmm0,0x30(%rsp)
  mov    %rsp,%rcx
  lea    0x70(%rsp),%rdx
  movaps %xmm0,0x50(%rsp)
  mov    D83(%rip),%rax
  lea    0x100(%rsp),%rbp
  lea    0x20(%rsp),%rsi
  movaps %xmm0,0x70(%rsp)
  movapd D139(%rip),%xmm0
  mov    %rbp,%rdi
  mov    %rax,0x60(%rsp)
  mov    D76(%rip),%rax
  movaps %xmm0,0x80(%rsp)
  movapd D11(%rip),%xmm0
  movaps %xmm1,0x20(%rsp)
  movaps %xmm0,0x90(%rsp)
  movapd D132(%rip),%xmm0
  movaps %xmm1,0x40(%rsp)
  movaps %xmm0,0xa0(%rsp)
  movapd D57(%rip),%xmm0
  movaps %xmm0,0xb0(%rsp)
  movq   D94(%rip),%xmm0
  movaps %xmm0,0xc0(%rsp)
  movapd D131(%rip),%xmm0
  movaps %xmm0,0xd0(%rsp)
  movapd D84(%rip),%xmm0
  movaps %xmm0,0xe0(%rsp)
  movapd D130(%rip),%xmm0
  movaps %xmm0,0xf0(%rsp)
  movdqa D7(%rip),%xmm0
  movaps %xmm0,(%rsp)
  mov    %rax,0x10(%rsp)
  call   <spg_get_international@plt>
  lea    D91(%rip),%rdi
  mov    %eax,%r12d
  call   <puts@plt>
  test   %r12d,%r12d
  jle    L24
  mov    %r12d,%edx
  mov    %rbp,%rsi
  lea    D51(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L16:
  mov    0x118(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L12
  add    $0x128,%rsp
  pop    %rbp
  pop    %r12
  ret
  cs nopw 0x0(%rax,%rax,1)
L24:
  lea    D10(%rip),%rdi
  call   <puts@plt>
  jmp    L16
L12:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: data_tag: D145
data_type: byte[8]
name: unpack_data
arguments: data_tag: D83
data_type: byte[8]
name: unpack_data
arguments: data_tag: D139
data_type: byte[16]
name: unpack_data
arguments: data_tag: D76
data_type: byte[8]
name: unpack_data
arguments: data_tag: D11
data_type: f64[2]
name: unpack_data
arguments: data_tag: D132
data_type: f64[2]
name: unpack_data
arguments: data_tag: D57
data_type: byte[16]
name: unpack_data
arguments: data_tag: D94
data_type: f64
name: unpack_data
arguments: data_tag: D131
data_type: f64[2]
name: unpack_data
arguments: data_tag: D84
data_type: f64[2]
name: unpack_data
arguments: data_tag: D130
data_type: f64[2]
name: unpack_data
arguments: data_tag: D7
data_type: byte[16]
name: unpack_data
arguments: data_tag: D91
data_type: string
name: unpack_data
arguments: data_tag: D51
data_type: string
name: unpack_data
arguments: data_tag: D10
data_type: string

tool: {"D145": [0x00,0x00,0x00,0x00,0x00,0x00,0x10,0x40]}

tool: {"D83": [0x00,0x00,0x00,0x00,0x00,0x00,0x08,0x40]}

tool: {"D139": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

tool: {"D76": [0x02,0x00,0x00,0x00,0x02,0x00,0x00,0x00]}

tool: {"D11": [0.5,0.5]}

tool: {"D132": [0.3,0.3]}

tool: {"D57": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x66,0x66,0x66,0x66,0x66,0x66,0xe6,0x3f]}

tool: D94: 0.7

tool: {"D131": [0.2,0.8]}

tool: {"D84": [0.5,0.8]}

tool: {"D130": [0.2,0.5]}

tool: {"D7": [0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x02,0x00,0x00,0x00]}

tool: D91: *** Example of spg_get_international ***:

tool: D51: %s (%d)


tool: D10: Space group could not be found.

assistant: ```c
void test_spg_get_international(void) {
  double lattice[3][3] = {{4, 0, 0}, {0, 4, 0}, {0, 0, 3}};
  double position[][3] = {
      {0, 0, 0}, {0.5, 0.5, 0.5}, {0.3, 0.3, 0}, {0.7, 0.7, 0}, {0.2, 0.8, 0.5}, {0.8, 0.2, 0.5},
  };
  int types[] = {1, 1, 2, 2, 2, 2};
  int num_spg, num_atom = 6;
  char symbol[21];
  num_spg = spg_get_international(symbol, lattice, position, types, num_atom, 1e-5);
  printf("*** Example of spg_get_international ***:\n");
  if (num_spg > 0) {
    printf("%s (%d)\n", symbol, num_spg);
  } else {
    printf("Space group could not be found.\n");
  }
}
```