let
xk_Hyper_R = 0xFFEE