now using built-in Mux Synchronizer