let xk_bar                 = 0x07c