let
xk_aring = 0x0e5