let xk_gcedilla            = 0x3bb