Checking in the WebGL source code from PowerVR Graphics SDK v3.4