What happens when Mario dies?