

#ifndef ASeqMapEnv3_included
#define ASeqMapEnv3_included

#define __ASeqMapEnv3_S8 __ASeqMapEnv3_6
#define _ASeqMapEnv3_S8 _ASeqMapEnv3_6
extern OBJ __ASeqMapEnv3_S8;
extern TUP3 _ASeqMapEnv3_S8(OBJ,OBJ,OBJ,OBJ);

#ifndef ASeqMapEnv3_S8
#define ASeqMapEnv3_S8(x1,x2,x3,x4,x13,x14,x15) {TUP3 t;t=_ASeqMapEnv3_S8(x1,x2,x3,x4);x13=t.c1;x14=t.c2;x15=t.c3;}
#endif

#ifndef ASeqMapEnv3_S8_L7
#define ASeqMapEnv3_S8_L7(x1,x2,x3,x32,x33) {TUP2 t;t=_ASeqMapEnv3_S8_L7(x1,x2,x3);x32=t.c1;x33=t.c2;}
#endif

#endif
