If we want mario music