let xk_registered          = 0x0ae