Create mux41case.v