let xk_threequarters       = 0x0be