let xk_7                   = 0x037