let xk_downcaret                                   = 0xba8