String name = new String(data, 0, (int) dataSize[0] - 1);
clGetPlatformInfo(platform_id[plaf], CL_PLATFORM_VERSION, 500, dataPtr, dataSize);
String version = new String(data, 0, (int) dataSize[0] - 1);
CLPlatform platform = new CLPlatform(platform_id[plaf], name, version);
platforms.add(platform);
int[] num_devices = new int[1];
clGetDeviceIDs(platform_id[plaf], CL_DEVICE_TYPE_ALL, 0, null, num_devices);