Nem SNES, nem Nintendo 64: a primeira vez que ouvimos Mario dublado por Charles Martinet foi em um jogo de PC