let xk_underbar                                    = 0xbc6