const time_getterinfo: JSJitInfo;