Create mux2test.v