let
xk_Egrave = 0x0c8