Create mux3.v