let xk_cedilla             = 0x0b8