let
xk_kappa = 0x3a2