There is currently no wiki page for the tag "super_mario_64". You can create one.
This tag implicates mario_(series) (learn more).