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