let xk_onefifth                                    = 0xab2