let xk_6                   = 0x036