what if mario ran faster and he was blue and he was a hedge hog