let
xk_registered = 0x0ae