Create mux4test.v