let
xk_cedilla = 0x0b8