const endTime_setterinfo: JSJitInfo;