int STENCIL_BITS = 0x0D57