code: function(
        it, args, output, binFile) {
      // Fixup for ANGLE:
      var internalformat = args['internalformat'];
      if (process.platform == 'win32') {
        if (internalformat == 0x84F9) {
          // GL_DEPTH_STENCIL_OES -> GL_DEPTH24_STENCIL8_OES
          internalformat = 0x88F0;
        }
      }
      output.push('glRenderbufferStorage(' + [
        args['target'], internalformat, args['width'], args['height']
      ].join(', ') + ');');
    }
docs: 'WebGLRenderingContext#readPixels': function( it, args, output, binFile) { var pixels = new Uint8Array(args['size']); gl.readPixels(args['x'], args['y'], args['width'], args['height'], args['format'], args['type'], pixels); },