add mux.bsv