let
xk_onequarter = 0x0bc