static BufferedImage imageIO_readURL(S url) ctex {
  ret ImageIO.read(new URL(url));
}