let xk_K                   = 0x04b