Create mux2gtest.v