const currentTime_setterinfo: JSJitInfo;