No, not Mario92. Another Mario. Mario64 or something like that.

Thanks for the link.