sbool imagesHaveSameSize(BufferedImage a, BufferedImage b) {
  ret a != null && b != null && a.getWidth() == b.getWidth()
    && a.getHeight() == b.getHeight();
}