let xk_threefifths                                 = 0xab4