3 void copy_summary(int b
[1000], int a
[1000], int pos
)
10 __attribute__((pencil_access(copy_summary
)))
12 void copy(int b
[1000], int a
[1000], int pos
);
18 for (int i
= 0; i
< 1000; ++i
)
21 for (int i
= 0; i
< 1000; ++i
)
24 for (int i
= 0; i
< 1000; ++i
)