let xk_u                   = 0x075