WSFONT_BYTEO_SHIFT
(byteo << WSFONT_BYTEO_SHIFT));
byteo = (cookie & WSFONT_BYTEO_MASK) >> WSFONT_BYTEO_SHIFT;