let xk_onethird                                    = 0xab0