Moves ARRAY_SIZE into the kernel only (XCC)