// Clean-up the OpenCL context
  fflush(stdout);