user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  push   %r15
  mov    $0x20,%edi
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  call   <malloc@plt>
  mov    $0x20,%edi
  mov    %rax,%r12
  call   <malloc@plt>
  mov    $0x20,%edi
  lea    0x20(%r12),%rbx
  mov    %rax,%r14
  call   <malloc@plt>
  mov    $0x20,%edi
  mov    %r14,%rbp
  mov    %rax,%r13
  sub    %r12,%rbp
  call   <acc_malloc@plt>
  mov    $0x20,%edi
  mov    %rax,0x8(%rsp)
  call   <acc_malloc@plt>
  mov    $0x20,%edi
  mov    %rax,%r15
  call   <acc_malloc@plt>
  movss  D108(%rip),%xmm0
  mov    0x8(%rsp),%rsi
  mov    %r12,%rdx
  mov    %rax,%r8
  nopl   (%rax)
L216:
  movss  %xmm0,(%rdx)
  add    $0x4,%rdx
  movl   $0x0,-0x4(%rdx,%rbp,1)
  cmp    %rbx,%rdx
  jne    L216
  mov    $0x20,%edx
  mov    %r12,%rdi
  mov    %r8,0x8(%rsp)
  call   <acc_map_data@plt>
  mov    $0x20,%edx
  mov    %r15,%rsi
  mov    %r14,%rdi
  call   <acc_map_data@plt>
  mov    0x8(%rsp),%rsi
  mov    $0x20,%edx
  mov    %r13,%rdi
  call   <acc_map_data@plt>
  mov    %r12,%rax
  nopl   0x0(%rax)
L282:
  movss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L282
  mov    %r12,%r13
  jmp    L355
  nopl   0x0(%rax,%rax,1)
L403:
  movss  0x0(%r13,%rbp,1),%xmm0
  ucomiss D108(%rip),%xmm0
  jp     L621
  jne    L621
  add    $0x4,%r13
  cmp    %rbx,%r13
  je     L701
L355:
  movss  0x0(%r13),%xmm0
  ucomiss D108(%rip),%xmm0
  jp     L842
  je     L403
L842:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L403
  nopl   (%rax)
L621:
  xor    %eax,%eax
  add    $0x4,%r13
  call   <abort@plt>
  cmp    %rbx,%r13
  jne    L355
L701:
  mov    $0x20,%esi
  mov    %r12,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L1092
L1315:
  mov    $0x20,%esi
  mov    %r14,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L281
L776:
  mov    %r12,%rax
  nopl   (%rax)
L330:
  movl   $0x40a00000,(%rax)
  add    $0x4,%rax
  movl   $0x3f800000,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L330
  mov    %r12,%rax
  nopw   0x0(%rax,%rax,1)
L538:
  movss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L538
  mov    %r12,%r13
  jmp    L1039
L822:
  movss  0x0(%r13,%rbp,1),%xmm0
  ucomiss D38(%rip),%xmm0
  jp     L957
  jne    L957
  add    $0x4,%r13
  cmp    %rbx,%r13
  je     L256
L1039:
  movss  0x0(%r13),%xmm0
  ucomiss D38(%rip),%xmm0
  jp     L289
  je     L822
L289:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L822
  nopl   (%rax)
L957:
  xor    %eax,%eax
  add    $0x4,%r13
  call   <abort@plt>
  cmp    %rbx,%r13
  jne    L1039
L256:
  mov    $0x20,%esi
  mov    %r12,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L160
L559:
  mov    $0x20,%esi
  mov    %r14,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L484
L509:
  mov    %r12,%rax
  nopl   (%rax)
L845:
  movl   $0x40a00000,(%rax)
  add    $0x4,%rax
  movl   $0x3f800000,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L845
  mov    %r12,%rax
  nopw   0x0(%rax,%rax,1)
L1369:
  movss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L1369
  mov    %r12,%r13
  jmp    L1051
L1139:
  movss  0x0(%r13,%rbp,1),%xmm0
  ucomiss D38(%rip),%xmm0
  jp     L387
  jne    L387
  add    $0x4,%r13
  cmp    %rbx,%r13
  je     L384
L1051:
  movss  0x0(%r13),%xmm0
  ucomiss D38(%rip),%xmm0
  jp     L432
  je     L1139
L432:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L1139
  nopl   (%rax)
L387:
  xor    %eax,%eax
  add    $0x4,%r13
  call   <abort@plt>
  cmp    %rbx,%r13
  jne    L1051
L384:
  mov    $0x20,%esi
  mov    %r12,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L851
L722:
  mov    $0x20,%esi
  mov    %r14,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L375
L1098:
  mov    %r12,%rax
  nopl   (%rax)
L525:
  movl   $0x40c00000,(%rax)
  add    $0x4,%rax
  movl   $0x0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L525
  mov    %r12,%rax
  nopw   0x0(%rax,%rax,1)
L542:
  movl   $0x41100000,(%rax)
  add    $0x4,%rax
  cmp    %rbx,%rax
  jne    L542
  mov    %r12,%rax
  nopw   0x0(%rax,%rax,1)
L305:
  movss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L305
  mov    %r12,%r13
  jmp    L40
  nopl   0x0(%rax,%rax,1)
L118:
  movss  0x0(%r13,%rbp,1),%xmm0
  ucomiss D212(%rip),%xmm0
  jp     L625
  jne    L625
  add    $0x4,%r13
  cmp    %rbx,%r13
  je     L491
L40:
  movss  0x0(%r13),%xmm0
  ucomiss D212(%rip),%xmm0
  jp     L1043
  je     L118
L1043:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L118
  nopl   (%rax)
L625:
  xor    %eax,%eax
  add    $0x4,%r13
  call   <abort@plt>
  cmp    %rbx,%r13
  jne    L40
L491:
  mov    $0x20,%esi
  mov    %r12,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L360
L438:
  mov    $0x20,%esi
  mov    %r14,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L248
L1116:
  movss  D172(%rip),%xmm1
  movss  D147(%rip),%xmm0
  mov    %r12,%rax
  nopl   (%rax)
L978:
  movss  %xmm1,(%rax)
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L978
  mov    %r12,%rax
  xchg   %ax,%ax
L1126:
  movl   $0x41100000,(%rax)
  add    $0x4,%rax
  cmp    %rbx,%rax
  jne    L1126
  mov    %r12,%rax
  nopw   0x0(%rax,%rax,1)
L1002:
  movss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L1002
  mov    %r12,%r13
  jmp    L442
L553:
  movss  0x0(%r13,%rbp,1),%xmm0
  ucomiss D172(%rip),%xmm0
  jp     L7
  jne    L7
  add    $0x4,%r13
  cmp    %rbx,%r13
  je     L1182
L442:
  movss  0x0(%r13),%xmm0
  ucomiss D172(%rip),%xmm0
  jp     L739
  je     L553
L739:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L553
  nopl   (%rax)
L7:
  xor    %eax,%eax
  add    $0x4,%r13
  call   <abort@plt>
  cmp    %rbx,%r13
  jne    L442
L1182:
  mov    %r12,%rax
  nopl   0x0(%rax,%rax,1)
L227:
  movl   $0x41100000,(%rax)
  add    $0x4,%rax
  cmp    %rbx,%rax
  jne    L227
  mov    %r12,%rax
  nopw   0x0(%rax,%rax,1)
L617:
  movss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L617
  mov    %r12,%r13
  jmp    L498
L1351:
  movss  0x0(%r13,%rbp,1),%xmm0
  ucomiss D246(%rip),%xmm0
  jp     L321
  jne    L321
  add    $0x4,%r13
  cmp    %rbx,%r13
  je     L600
L498:
  movss  0x0(%r13),%xmm0
  ucomiss D246(%rip),%xmm0
  jp     L989
  je     L1351
L989:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L1351
  nopl   (%rax)
L321:
  xor    %eax,%eax
  add    $0x4,%r13
  call   <abort@plt>
  cmp    %rbx,%r13
  jne    L498
L600:
  mov    $0x20,%esi
  mov    %r12,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L66
L1363:
  mov    $0x20,%esi
  mov    %r14,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L1272
L1137:
  mov    %r12,%rax
  nopl   (%rax)
L790:
  movl   $0x40a00000,(%rax)
  add    $0x4,%rax
  cmp    %rbx,%rax
  jne    L790
  mov    %r12,%rax
  nopw   0x0(%rax,%rax,1)
L25:
  movl   $0x40c00000,(%rax)
  add    $0x4,%rax
  cmp    %rbx,%rax
  jne    L25
  mov    %r12,%rax
  nopw   0x0(%rax,%rax,1)
L1193:
  movss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax,%rbp,1)
  cmp    %rbx,%rax
  jne    L1193
  lea    0x10(%r12),%r13
  mov    %r12,%r15
L592:
  movss  (%r15),%xmm0
  ucomiss D212(%rip),%xmm0
  jp     L633
  jne    L633
L51:
  movss  (%r15,%rbp,1),%xmm0
  ucomiss D212(%rip),%xmm0
  jp     L1044
  jne    L1044
L819:
  add    $0x4,%r15
  cmp    %r13,%r15
  jne    L592
  mov    %r13,%r15
L895:
  movss  (%r15),%xmm0
  ucomiss D38(%rip),%xmm0
  jp     L61
  jne    L61
L755:
  movss  (%r15,%rbp,1),%xmm0
  ucomiss D38(%rip),%xmm0
  jp     L333
  jne    L333
L715:
  add    $0x4,%r15
  cmp    %rbx,%r15
  jne    L895
  mov    $0x20,%esi
  mov    %r12,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L1052
L1339:
  mov    $0x20,%esi
  mov    %r14,%rdi
  call   <acc_is_present@plt>
  test   %eax,%eax
  je     L288
L830:
  pxor   %xmm0,%xmm0
  mov    %r12,%rax
  movups %xmm0,(%r12)
  movups %xmm0,0x10(%r12)
  cs nopw 0x0(%rax,%rax,1)
L480:
  movss  D157(%rip),%xmm0
  addss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax)
  cmp    %rbx,%rax
  jne    L480
  mov    %r12,%rbp
  pxor   %xmm0,%xmm0
L710:
  ucomiss 0x0(%rbp),%xmm0
  jp     L91
  jne    L91
L385:
  add    $0x4,%rbp
  cmp    %r13,%rbp
  jne    L710
  mov    %r13,%rbp
L379:
  movss  0x0(%rbp),%xmm0
  ucomiss D212(%rip),%xmm0
  jp     L179
  jne    L179
L800:
  add    $0x4,%rbp
  cmp    %rbx,%rbp
  jne    L379
  mov    %r12,%rbp
L127:
  movss  D157(%rip),%xmm2
  ucomiss 0x0(%rbp),%xmm2
  jp     L795
  jne    L795
L528:
  add    $0x4,%rbp
  cmp    %r13,%rbp
  jne    L127
L1013:
  movss  0x0(%r13),%xmm0
  ucomiss D212(%rip),%xmm0
  jp     L818
  jne    L818
L1064:
  add    $0x4,%r13
  cmp    %rbx,%r13
  jne    L1013
  movabs $0x4110000041100000,%rax
  mov    %rax,0x8(%r12)
  mov    %rax,0x10(%r12)
  mov    %r12,%rax
  nopl   0x0(%rax,%rax,1)
L77:
  movss  D157(%rip),%xmm0
  addss  (%rax),%xmm0
  add    $0x4,%rax
  movss  %xmm0,-0x4(%rax)
  cmp    %rbx,%rax
  jne    L77
  movss  D157(%rip),%xmm3
  ucomiss (%r12),%xmm3
  jp     L203
  jne    L203
L255:
  movss  D157(%rip),%xmm4
  ucomiss 0x4(%r12),%xmm4
  jp     L431
  jne    L431
L418:
  lea    0x8(%r12),%rbx
  lea    0x18(%r12),%rbp
L939:
  movss  (%rbx),%xmm0
  ucomiss D187(%rip),%xmm0
  jp     L141
  jne    L141
L1091:
  add    $0x4,%rbx
  cmp    %rbx,%rbp
  jne    L939
  movss  0x18(%r12),%xmm0
  ucomiss D212(%rip),%xmm0
  jp     L399
  jne    L399
L1344:
  movss  0x1c(%r12),%xmm0
  ucomiss D212(%rip),%xmm0
  jp     L120
  jne    L120
L367:
  add    $0x18,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L141:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L1091
  nopl   0x0(%rax)
L818:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L1064
  nopl   0x0(%rax)
L795:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L528
  nopl   0x0(%rax)
L179:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L800
  nopl   0x0(%rax)
L91:
  xor    %eax,%eax
  call   <abort@plt>
  pxor   %xmm0,%xmm0
  jmp    L385
  nopl   0x0(%rax,%rax,1)
L333:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L715
  nopl   0x0(%rax)
L61:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L755
  nopl   0x0(%rax)
L1044:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L819
  nopl   0x0(%rax)
L633:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L51
L1092:
  call   <abort@plt>
  jmp    L1315
L120:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L367
L399:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L1344
L431:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L418
L203:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L255
L288:
  call   <abort@plt>
  jmp    L830
L1052:
  call   <abort@plt>
  jmp    L1339
L1272:
  call   <abort@plt>
  jmp    L1137
L66:
  call   <abort@plt>
  jmp    L1363
L248:
  call   <abort@plt>
  jmp    L1116
L360:
  call   <abort@plt>
  jmp    L438
L375:
  call   <abort@plt>
  jmp    L1098
L851:
  call   <abort@plt>
  jmp    L722
L484:
  call   <abort@plt>
  jmp    L509
L160:
  call   <abort@plt>
  jmp    L559
L281:
  call   <abort@plt>
  jmp    L776
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D108
type_infered: f32
name: extract_symbolic_data
arguments: data_label: D38
type_infered: f32
name: extract_symbolic_data
arguments: data_label: D212
type_infered: f32
name: extract_symbolic_data
arguments: data_label: D172
type_infered: f32
name: extract_symbolic_data
arguments: data_label: D147
type_infered: f32
name: extract_symbolic_data
arguments: data_label: D246
type_infered: f32
name: extract_symbolic_data
arguments: data_label: D157
type_infered: f32
name: extract_symbolic_data
arguments: data_label: D187
type_infered: f32

tool: D108: 3

tool: D38: 5

tool: D212: 6

tool: D172: 7

tool: D147: 2

tool: D246: 9

tool: D157: 1

tool: D187: 10

assistant: ```c
int main(int argc, char **argv) {
  int N = 8;
  int NDIV2 = N / 2;
  float *a, *b, *c;
  float *d_a, *d_b, *d_c;
  int i;
  a = (float *)malloc(N * sizeof(float));
  b = (float *)malloc(N * sizeof(float));
  c = (float *)malloc(N * sizeof(float));
  d_a = (float *)acc_malloc(N * sizeof(float));
  d_b = (float *)acc_malloc(N * sizeof(float));
  d_c = (float *)acc_malloc(N * sizeof(float));
  for (i = 0; i < N; i++) {
    a[i] = 3.0;
    b[i] = 0.0;
  }
  acc_map_data(a, d_a, N * sizeof(float));
  acc_map_data(b, d_b, N * sizeof(float));
  acc_map_data(c, d_c, N * sizeof(float));
#pragma acc update device(a [0:N], b [0:N])
#pragma acc parallel present(a [0:N], b [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      b[ii] = a[ii];
  }
#pragma acc update self(a [0:N], b [0:N])
  for (i = 0; i < N; i++) {
    if (a[i] != 3.0)
      abort();
    if (b[i] != 3.0)
      abort();
  }
  if (!acc_is_present(&a[0], (N * sizeof(float))))
    abort();
  if (!acc_is_present(&b[0], (N * sizeof(float))))
    abort();
  for (i = 0; i < N; i++) {
    a[i] = 5.0;
    b[i] = 1.0;
  }
#pragma acc update device(a [0:N], b [0:N])
#pragma acc parallel present(a [0:N], b [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      b[ii] = a[ii];
  }
#pragma acc update self(a [0:N], b [0:N])
  for (i = 0; i < N; i++) {
    if (a[i] != 5.0)
      abort();
    if (b[i] != 5.0)
      abort();
  }
  if (!acc_is_present(&a[0], (N * sizeof(float))))
    abort();
  if (!acc_is_present(&b[0], (N * sizeof(float))))
    abort();
  for (i = 0; i < N; i++) {
    a[i] = 5.0;
    b[i] = 1.0;
  }
#pragma acc update device(a [0:N], b [0:N])
#pragma acc parallel present(a [0:N], b [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      b[ii] = a[ii];
  }
#pragma acc update host(a [0:N], b [0:N])
  for (i = 0; i < N; i++) {
    if (a[i] != 5.0)
      abort();
    if (b[i] != 5.0)
      abort();
  }
  if (!acc_is_present(&a[0], (N * sizeof(float))))
    abort();
  if (!acc_is_present(&b[0], (N * sizeof(float))))
    abort();
  for (i = 0; i < N; i++) {
    a[i] = 6.0;
    b[i] = 0.0;
  }
#pragma acc update device(a [0:N], b [0:N])
  for (i = 0; i < N; i++) {
    a[i] = 9.0;
  }
#pragma acc parallel present(a [0:N], b [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      b[ii] = a[ii];
  }
#pragma acc update self(a [0:N], b [0:N])
  for (i = 0; i < N; i++) {
    if (a[i] != 6.0)
      abort();
    if (b[i] != 6.0)
      abort();
  }
  if (!acc_is_present(&a[0], (N * sizeof(float))))
    abort();
  if (!acc_is_present(&b[0], (N * sizeof(float))))
    abort();
  for (i = 0; i < N; i++) {
    a[i] = 7.0;
    b[i] = 2.0;
  }
#pragma acc update device(a [0:N], b [0:N])
  for (i = 0; i < N; i++) {
    a[i] = 9.0;
  }
#pragma acc parallel present(a [0:N], b [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      b[ii] = a[ii];
  }
#pragma acc update self(a [0:N], b [0:N])
  for (i = 0; i < N; i++) {
    if (a[i] != 7.0)
      abort();
    if (b[i] != 7.0)
      abort();
  }
  for (i = 0; i < N; i++) {
    a[i] = 9.0;
  }
#pragma acc update device(a [0:N])
#pragma acc parallel present(a [0:N], b [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      b[ii] = a[ii];
  }
#pragma acc update self(a [0:N], b [0:N])
  for (i = 0; i < N; i++) {
    if (a[i] != 9.0)
      abort();
    if (b[i] != 9.0)
      abort();
  }
  if (!acc_is_present(&a[0], (N * sizeof(float))))
    abort();
  if (!acc_is_present(&b[0], (N * sizeof(float))))
    abort();
  for (i = 0; i < N; i++) {
    a[i] = 5.0;
  }
#pragma acc update device(a [0:N])
  for (i = 0; i < N; i++) {
    a[i] = 6.0;
  }
#pragma acc update device(a [0:NDIV2])
#pragma acc parallel present(a [0:N], b [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      b[ii] = a[ii];
  }
#pragma acc update self(a [0:N], b [0:N])
  for (i = 0; i < NDIV2; i++) {
    if (a[i] != 6.0)
      abort();
    if (b[i] != 6.0)
      abort();
  }
  for (i = NDIV2; i < N; i++) {
    if (a[i] != 5.0)
      abort();
    if (b[i] != 5.0)
      abort();
  }
  if (!acc_is_present(&a[0], (N * sizeof(float))))
    abort();
  if (!acc_is_present(&b[0], (N * sizeof(float))))
    abort();
  for (i = 0; i < N; i++) {
    a[i] = 0.0;
  }
#pragma acc update device(a [0:4])
#pragma acc parallel present(a [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      a[ii] = a[ii] + 1.0;
  }
#pragma acc update self(a [4:4])
  for (i = 0; i < NDIV2; i++) {
    if (a[i] != 0.0)
      abort();
  }
  for (i = NDIV2; i < N; i++) {
    if (a[i] != 6.0)
      abort();
  }
#pragma acc update self(a [0:4])
  for (i = 0; i < NDIV2; i++) {
    if (a[i] != 1.0)
      abort();
  }
  for (i = NDIV2; i < N; i++) {
    if (a[i] != 6.0)
      abort();
  }
  a[2] = 9;
  a[3] = 9;
  a[4] = 9;
  a[5] = 9;
#pragma acc update device(a [2:4])
#pragma acc parallel present(a [0:N])
  {
    int ii;
    for (ii = 0; ii < N; ii++)
      a[ii] = a[ii] + 1.0;
  }
#pragma acc update self(a [2:4])
  for (i = 0; i < 2; i++) {
    if (a[i] != 1.0)
      abort();
  }
  for (i = 2; i < 6; i++) {
    if (a[i] != 10.0)
      abort();
  }
  for (i = 6; i < N; i++) {
    if (a[i] != 6.0)
      abort();
  }
  return 0;
}
```