let xk_onehalf             = 0x0bd