# define type_code_constructor symbol
# define type_code_arg arg
# define type_code node

typedef struct type_code TypeCodeS, *TypeCodeP;
typedef struct type_code_arg TypeCodeArgS, *TypeCodeArgP;
typedef struct type_code_constructor TypeCodeConstructor, *TypeCodeConstructorP;