if Mario was real