let xk_B                   = 0x042