muxes generate