1     static boolean [[TEST]](boolean[] a, int idx) {
2         boolean res = [[TEST_INIT]];
3         for (int i = idx; i < (idx + SPECIES.length()); i++) {
4             res [[TEST_OP]]= a[i];
5         }
6 
7         return res;
8     }

1 
2     static boolean [[TEST]](boolean[] a, int idx) {
3         boolean res = [[TEST_INIT]];
4         for (int i = idx; i < (idx + SPECIES.length()); i++) {
5             res [[TEST_OP]]= a[i];
6         }
7 
8         return res;
9     }