let xk_0                   = 0x030