# ifndef F_ERC_H
# define F_ERC_H

# include <assert.h>
# include "eref.h"

/*@-exporttype@*/ /* These types should not be exported, but are used in macros. */
typedef struct _elem { eref val; /*@null@*/ struct _elem *next; } ercElem;
typedef ercElem *ercList;
typedef struct { /*@null@*/ ercList vals; int size; } ercInfo;
/*@=exporttype@*/

typedef ercInfo *erc;

# include "erc.lh"

# define erc_size(c) ((c)->size)

# define erc_initMod() \
    do { bool_initMod(); employee_initMod();\
         eref_initMod(); } while (FALSE)

# define erc_elements(c, m_x) \
  { erc m_c = (c); ercElem *m_ec = (m_c)->vals; int m_i = 0; \
    while (m_i < (m_c)->size) { \
      eref m_x; assert (m_ec != NULL); m_x = m_ec->val; m_ec = m_ec->next; m_i++; 

# define end_erc_elements }}

# endif
