let
xk_L = 0x04c