__kernel void check(__global int* permutations, __global int* checks, int n) {
            buffer[get_global_id(0)] += scalar;
}