__kernel void if_le(__global int * out, int arg0, int arg1)
{
   out[0] = 0;
   if (arg0 <= arg1) {
      out[0] = 1;
   }
}