Temporary annotation storage: C pointer iteration