Return visit to C abstract data structures