Original: An enhanced remake for the Nintendo DS called Super Mario 64 DS was available for the launch of the Nintendo DS in 2004 .
Simplified: In 2004 , the game was re-released for the Nintendo DS as Super Mario 64 DS .