let mu_opts = !mu_opts