/*
__local int input
__global int counter
*/

void add(
  int workgroup, 
  int cl_global_id, 
  int cl_local_id,
  int input,
  int * counter)
  {
  counter = counter + input;
  
  }