Can Mario 64 be beaten if it was covered in lava?