const decode_methodinfo: JSJitInfo;