Mario references in third-party video games