const destroy_methodinfo: JSJitInfo;