let
xk_underbar = 0xbc6