typedef struct { Tatype tag; } *atype;
#ifdef __GNUC__
+Tatype tatype(atype t);
extern __inline__ Tatype tatype(atype t)
{
return(t -> tag);
extern atype mkatc PROTO((unkId, list, long));
#ifdef __GNUC__
+unkId *Rgatcid PROTO((struct Satc *));
+
extern __inline__ unkId *Rgatcid(struct Satc *t)
{
#ifdef UGEN_DEBUG
#define gatcid(xyzxyz) (*Rgatcid((struct Satc *) (xyzxyz)))
#ifdef __GNUC__
+list *Rgatctypel PROTO((struct Satc *));
+
extern __inline__ list *Rgatctypel(struct Satc *t)
{
#ifdef UGEN_DEBUG
#define gatctypel(xyzxyz) (*Rgatctypel((struct Satc *) (xyzxyz)))
#ifdef __GNUC__
+long *Rgatcline PROTO((struct Satc *));
+
extern __inline__ long *Rgatcline(struct Satc *t)
{
#ifdef UGEN_DEBUG