let
xk_mu = 0x0b5