let xk_oneeighth                                   = 0xac3