let
xk_onehalf = 0x0bd