// Clean up GPU arrays
  clReleaseMemObject(device_<array>);