let xk_vertbar                                     = 0x9f8