clGetPlatformIDs(platform_id.length, platform_id, null);
// enumerate platforms and devices
byte[] data = new byte[500];
Pointer dataPtr = Pointer.to(data);
long[] dataSize = new long[1];
long[] cl_long = new long[1];
int[] cl_uint = new int[1];
for (int plaf = 0; plaf < platform_id.length; ++plaf) {