/** @type {WebGL2RenderingContext} */ var myContext;
console.log(myContext.READ_BUFFER);
// See whether WebGL 1.0 properties are correctly type checked.
console.log(myContext.DEPTH_BUFFER_BIT);