Super Mario 64 has been decompiled from Games