let xk_trademark                                   = 0xac9