#include <stdio.h>
#include <CL/cl.h>

int main()
{
	cl_platform_id platform_id;
	puts("HELLO, WORLD!\n");
	return 0;
}

	cl_int fault;

...
#include <CL/cl_platform.h>
...
typedef cl_uint             cl_platform_info;
typedef cl_uint             cl_device_info;
...
typedef cl_uint             cl_program_build_info;
typedef cl_int              cl_build_status;
...

typedef unsigned __int16        cl_ushort;
typedef signed   __int32        cl_int;
typedef unsigned __int32        cl_uint;