Symbol: tavor_ci_alloc_ah