let xk_9                   = 0x039