let xk_thinspace                                   = 0xaa7