curiosidades super mario 64