[C] Add support for iterating over recorded values