let xk_hairspace                                   = 0xaa8