p_min = upper-left, p_max = lower-right Note we don't render 1 pixels sized rectangles properly.
source not stored for this graph (policy: none)
no test coverage detected