svoid g22_highlightRegion(int[] pixels, ImageSurface is, Gazelle22_ImageToRegions itr,
  Pt mouse default is.mousePosition, bool showRegionsAsOutline) {
  if (mouse != null && itr != null && itr.regions != null) {
    int iHighlightedRegion = itr.regions.regionAt(mouse);
    int color = 0xFF00C000;

    g22_highlightRegion(pixels, is, itr, iHighlightedRegion, color, showRegionsAsOutline);
  }
}

svoid g22_highlightRegion(int[] pixels, ImageSurface is, Gazelle22_ImageToRegions itr, int iRegion, int color, bool showRegionsAsOutline) {
  if (iRegion == 0) ret;
  if (showRegionsAsOutline) {
    RegionBorder_innerPoints x = new(itr.regions, iRegion);
    gazelle22_highlightRegionOutline(pixels, itr, x);
  } else
    itr.regions.markRegionInPixelArray(pixels, iRegion, color);
}