let
xk_threequarters = 0x0be