let xk_oslash              = 0x0f8