let xk_overbar                                     = 0xbc0