const terminate_methodinfo: JSJitInfo;