const restore_methodinfo: JSJitInfo;