lft_c_allocations
counter_u64_add(sav->lft_c_allocations, adiff);
sav->lft_c_allocations);
(uint32_t)counter_u64_fetch(sav->lft_c_allocations);
counter_u64_add(sav->lft_c_allocations, 1);
sav->lft_c_allocations);