let xk_mu                  = 0x0b5