let
xk_bar = 0x07c