

#ifndef AOrderingByInjection_included
#define AOrderingByInjection_included

#define __AOrderingByInjection_Sl __AOrderingByInjection_3
#define _AOrderingByInjection_Sl _AOrderingByInjection_3
extern OBJ __AOrderingByInjection_Sl;
extern OBJ _AOrderingByInjection_Sl(OBJ,OBJ,OBJ);

#define __AOrderingByInjection_Sg __AOrderingByInjection_4
#define _AOrderingByInjection_Sg _AOrderingByInjection_4
extern OBJ __AOrderingByInjection_Sg;
extern OBJ _AOrderingByInjection_Sg(OBJ,OBJ,OBJ);

#define __AOrderingByInjection_Sle __AOrderingByInjection_5
#define _AOrderingByInjection_Sle _AOrderingByInjection_5
extern OBJ __AOrderingByInjection_Sle;
extern OBJ _AOrderingByInjection_Sle(OBJ,OBJ,OBJ);

#define __AOrderingByInjection_Sge __AOrderingByInjection_6
#define _AOrderingByInjection_Sge _AOrderingByInjection_6
extern OBJ __AOrderingByInjection_Sge;
extern OBJ _AOrderingByInjection_Sge(OBJ,OBJ,OBJ);

#define __AOrderingByInjection_Se __AOrderingByInjection_7
#define _AOrderingByInjection_Se _AOrderingByInjection_7
extern OBJ __AOrderingByInjection_Se;
extern OBJ _AOrderingByInjection_Se(OBJ,OBJ,OBJ);

#define __AOrderingByInjection_SSe __AOrderingByInjection_8
#define _AOrderingByInjection_SSe _AOrderingByInjection_8
extern OBJ __AOrderingByInjection_SSe;
extern OBJ _AOrderingByInjection_SSe(OBJ,OBJ,OBJ);

#ifndef AOrderingByInjection_Sl
#define AOrderingByInjection_Sl(x1,x2,x3,x6) {x6=_AOrderingByInjection_Sl(x1,x2,x3);}
#endif

#ifndef AOrderingByInjection_Sg
#define AOrderingByInjection_Sg(x1,x2,x3,x6) {x6=_AOrderingByInjection_Sg(x1,x2,x3);}
#endif

#ifndef AOrderingByInjection_Sle
#define AOrderingByInjection_Sle(x1,x2,x3,x6) {x6=_AOrderingByInjection_Sle(x1,x2,x3);}
#endif

#ifndef AOrderingByInjection_Sge
#define AOrderingByInjection_Sge(x1,x2,x3,x6) {x6=_AOrderingByInjection_Sge(x1,x2,x3);}
#endif

#ifndef AOrderingByInjection_Se
#define AOrderingByInjection_Se(x1,x2,x3,x6) {x6=_AOrderingByInjection_Se(x1,x2,x3);}
#endif

#ifndef AOrderingByInjection_SSe
#define AOrderingByInjection_SSe(x1,x2,x3,x6) {x6=_AOrderingByInjection_SSe(x1,x2,x3);}
#endif

#endif
