let xk_twothirds                                   = 0xab1