glu.RenderTarget.customTextures example made in Pex. Source code at https://github.com/vorg/pex-examples/tree/master/src/glu.RenderTarget.customTextures