#include "openCL.cvl"
void main()
{
  int err;
  err = clGetDeviceIDs(cl_platform_id platform,
  cl_device_type device_type,
  cl_uint num_entries,
  cl_device_id *devices,
  cl_uint *num_devices)
  $assert err == CL_SUCCESS;
}