Symbol: inj_alloc