copyRectangleShader
The fragment shader of copies that are drawn: it copies the source rectangle of tex0 into the target rectangle, which can have another size. The rectangles are in pixels of their levels, with the origin in the top-left corner.