Charles Martinet retires as the voice of Mario.