let xk_R                   = 0x052