// WebGLWorker client code