static int bwImagePixels(BWImage img) {
  ret img == null ? 0 : img.getWidth()*img.getHeight();
}