Every copy of Mario 64 is personalized. Somewhere in the Mario 64 multiverse, there's a copy that connects to Halo CE multiplayer. I found that one and ported it to the web browser.