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 }