__kernel void mod_nine(__global int * out, int arg0, int arg1)
{
  out[0] = arg0 % 9;
}