Super Mario 64 has been decompiled