let xk_P                   = 0x050