const currentTime_getterinfo: JSJitInfo;