Symbol: ARG_ALLOC_TS