let xk_c                   = 0x063