static byte[] alphaChannelFromPixels(int[] pixels) {
  int n = pixels.length;
  byte[] pixels2 = new[n];
  for i to n:
    pixels2[i] = (byte) (pixels[i] >> 24);
  ret pixels2;
}