+/*@iter ctypeList_elements (sef ctypeList x, yield ctype el); @*/
+# define ctypeList_elements(x, m_el) \
+ { if (!ctypeList_isUndefined(x)) \
+ { int m_ind; ctype *m_elements = &((x)->elements[0]); \
+ for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
+ { ctype m_el = *(m_elements++);
+
+# define end_ctypeList_elements }}}
+