let xk_C                   = 0x043