static int[] pixelsWithInvertedAlpha(int[] pixels) {
  int n = pixels.length;
  int[] pixels2 = new[n];
  for i to n:
    pixels2[i] = pixels[i]^0xFF000000;
  ret pixels2;
}