let
xk_z = 0x07a