Sonic in Super Mario 64 DS