let xk_ccedilla            = 0x0e7