Implement Mux4Way16.