let xk_twofifths                                   = 0xab3