

#ifndef AInt_included
#define AInt_included

#define __AInt_A0 __AInt_2
extern OBJ __AInt_A0;

#define __AInt_A1 __AInt_3
extern OBJ __AInt_A1;

#define __AInt_A2 __AInt_4
extern OBJ __AInt_A2;

#define __AInt_A3 __AInt_5
extern OBJ __AInt_A3;

#define __AInt_A4 __AInt_6
extern OBJ __AInt_A4;

#define __AInt_A5 __AInt_7
extern OBJ __AInt_A5;

#define __AInt_A6 __AInt_8
extern OBJ __AInt_A6;

#define __AInt_A7 __AInt_9
extern OBJ __AInt_A7;

#define __AInt_A8 __AInt_10
extern OBJ __AInt_A8;

#define __AInt_A9 __AInt_11
extern OBJ __AInt_A9;

#define __AInt_A10 __AInt_12
extern OBJ __AInt_A10;

#define __AInt_A11 __AInt_13
extern OBJ __AInt_A11;

#define __AInt_A12 __AInt_14
extern OBJ __AInt_A12;

#define __AInt_A13 __AInt_15
extern OBJ __AInt_A13;

#define __AInt_A14 __AInt_16
extern OBJ __AInt_A14;

#define __AInt_A15 __AInt_17
extern OBJ __AInt_A15;

#define __AInt_A16 __AInt_18
extern OBJ __AInt_A16;

#define __AInt_A17 __AInt_19
extern OBJ __AInt_A17;

#define __AInt_A18 __AInt_20
extern OBJ __AInt_A18;

#define __AInt_A19 __AInt_21
extern OBJ __AInt_A19;

#define __AInt_A20 __AInt_22
extern OBJ __AInt_A20;

#define __AInt_A21 __AInt_23
extern OBJ __AInt_A21;

#define __AInt_A22 __AInt_24
extern OBJ __AInt_A22;

#define __AInt_A23 __AInt_25
extern OBJ __AInt_A23;

#define __AInt_A24 __AInt_26
extern OBJ __AInt_A24;

#define __AInt_A25 __AInt_27
extern OBJ __AInt_A25;

#define __AInt_A26 __AInt_28
extern OBJ __AInt_A26;

#define __AInt_A27 __AInt_29
extern OBJ __AInt_A27;

#define __AInt_A28 __AInt_30
extern OBJ __AInt_A28;

#define __AInt_A29 __AInt_31
extern OBJ __AInt_A29;

#define __AInt_A30 __AInt_32
extern OBJ __AInt_A30;

#define __AInt_A31 __AInt_33
extern OBJ __AInt_A31;

#define __AInt_A32 __AInt_34
extern OBJ __AInt_A32;

#define __AInt_A64 __AInt_41
extern OBJ __AInt_A64;

#define __AInt_A128 __AInt_42
extern OBJ __AInt_A128;

#define __AInt_A256 __AInt_43
extern OBJ __AInt_A256;

#define __AInt_A512 __AInt_44
extern OBJ __AInt_A512;

#define __AInt_A1024 __AInt_45
extern OBJ __AInt_A1024;

#define __AInt_A100 __AInt_48
extern OBJ __AInt_A100;

#define __AInt_A1000 __AInt_49
extern OBJ __AInt_A1000;

#define __AInt_A10000 __AInt_50
extern OBJ __AInt_A10000;

#define __AInt_A100000 __AInt_51
extern OBJ __AInt_A100000;

#define __AInt_A1000000 __AInt_52
extern OBJ __AInt_A1000000;

#define __AInt_Amin __AInt_53
extern OBJ __AInt_Amin;

#define __AInt_Amax __AInt_54
extern OBJ __AInt_Amax;

#define __AInt_S1 __AInt_55
#define _AInt_S1 _AInt_55
#define AInt_55 AInt_S1
extern OBJ __AInt_S1;
extern OBJ _AInt_S1(OBJ);

#define __AInt_Sp __AInt_56
#define _AInt_Sp _AInt_56
#define AInt_56 AInt_Sp
extern OBJ __AInt_Sp;
extern OBJ _AInt_Sp(OBJ,OBJ);

#define __AInt_Sm __AInt_57
#define _AInt_Sm _AInt_57
#define AInt_57 AInt_Sm
extern OBJ __AInt_Sm;
extern OBJ _AInt_Sm(OBJ,OBJ);

#define __AInt_S8 __AInt_58
#define _AInt_S8 _AInt_58
#define AInt_58 AInt_S8
extern OBJ __AInt_S8;
extern OBJ _AInt_S8(OBJ,OBJ);

#define __AInt_Ss __AInt_59
#define _AInt_Ss _AInt_59
#define AInt_59 AInt_Ss
extern OBJ __AInt_Ss;
extern OBJ _AInt_Ss(OBJ,OBJ);

#define __AInt_Adiv __AInt_60
#define _AInt_Adiv _AInt_60
#define AInt_60 AInt_Adiv
extern OBJ __AInt_Adiv;
extern OBJ _AInt_Adiv(OBJ,OBJ);

#define __AInt_S5 __AInt_61
#define _AInt_S5 _AInt_61
#define AInt_61 AInt_S5
extern OBJ __AInt_S5;
extern OBJ _AInt_S5(OBJ,OBJ);

#define __AInt_Amod __AInt_62
#define _AInt_Amod _AInt_62
#define AInt_62 AInt_Amod
extern OBJ __AInt_Amod;
extern OBJ _AInt_Amod(OBJ,OBJ);

#define __AInt_S6 __AInt_63
#define _AInt_S6 _AInt_63
#define AInt_63 AInt_S6
extern OBJ __AInt_S6;
extern OBJ _AInt_S6(OBJ,OBJ);

#define __AInt_Apow __AInt_64
#define _AInt_Apow _AInt_64
#define AInt_64 AInt_Apow
extern OBJ __AInt_Apow;
extern OBJ _AInt_Apow(OBJ,OBJ);

#define __AInt_Asucc __AInt_65
#define _AInt_Asucc _AInt_65
#define AInt_65 AInt_Asucc
extern OBJ __AInt_Asucc;
extern OBJ _AInt_Asucc(OBJ);

#define __AInt_Apred __AInt_66
#define _AInt_Apred _AInt_66
#define AInt_66 AInt_Apred
extern OBJ __AInt_Apred;
extern OBJ _AInt_Apred(OBJ);

#define __AInt_Adouble __AInt_67
#define _AInt_Adouble _AInt_67
#define AInt_67 AInt_Adouble
extern OBJ __AInt_Adouble;
extern OBJ _AInt_Adouble(OBJ);

#define __AInt_Ahalf __AInt_68
#define _AInt_Ahalf _AInt_68
#define AInt_68 AInt_Ahalf
extern OBJ __AInt_Ahalf;
extern OBJ _AInt_Ahalf(OBJ);

#define __AInt_Amin_O1 __AInt_69
#define _AInt_Amin_O1 _AInt_69
#define AInt_69 AInt_Amin_O1
extern OBJ __AInt_Amin_O1;
extern OBJ _AInt_Amin_O1(OBJ,OBJ);

#define __AInt_Amax_O1 __AInt_70
#define _AInt_Amax_O1 _AInt_70
#define AInt_70 AInt_Amax_O1
extern OBJ __AInt_Amax_O1;
extern OBJ _AInt_Amax_O1(OBJ,OBJ);

#define __AInt_Asign __AInt_71
#define _AInt_Asign _AInt_71
#define AInt_71 AInt_Asign
extern OBJ __AInt_Asign;
extern OBJ _AInt_Asign(OBJ);

#define __AInt_Sm_O1 __AInt_72
#define _AInt_Sm_O1 _AInt_72
#define AInt_72 AInt_Sm_O1
extern OBJ __AInt_Sm_O1;
extern OBJ _AInt_Sm_O1(OBJ);

#define __AInt_Aabs __AInt_73
#define _AInt_Aabs _AInt_73
#define AInt_73 AInt_Aabs
extern OBJ __AInt_Aabs;
extern OBJ _AInt_Aabs(OBJ);

#define __AInt_Aeven_ __AInt_74
#define _AInt_Aeven_ _AInt_74
#define AInt_74 AInt_Aeven_
extern OBJ __AInt_Aeven_;
extern OBJ _AInt_Aeven_(OBJ);

#define __AInt_Aodd_ __AInt_75
#define _AInt_Aodd_ _AInt_75
#define AInt_75 AInt_Aodd_
extern OBJ __AInt_Aodd_;
extern OBJ _AInt_Aodd_(OBJ);

#define __AInt_Aneg_ __AInt_76
#define _AInt_Aneg_ _AInt_76
#define AInt_76 AInt_Aneg_
extern OBJ __AInt_Aneg_;
extern OBJ _AInt_Aneg_(OBJ);

#define __AInt_Azero_ __AInt_77
#define _AInt_Azero_ _AInt_77
#define AInt_77 AInt_Azero_
extern OBJ __AInt_Azero_;
extern OBJ _AInt_Azero_(OBJ);

#define __AInt_Apos_ __AInt_78
#define _AInt_Apos_ _AInt_78
#define AInt_78 AInt_Apos_
extern OBJ __AInt_Apos_;
extern OBJ _AInt_Apos_(OBJ);

#define __AInt_Se __AInt_79
#define _AInt_Se _AInt_79
#define AInt_79 AInt_Se
extern OBJ __AInt_Se;
extern OBJ _AInt_Se(OBJ,OBJ);

#define __AInt_SSe __AInt_80
#define _AInt_SSe _AInt_80
#define AInt_80 AInt_SSe
extern OBJ __AInt_SSe;
extern OBJ _AInt_SSe(OBJ,OBJ);

#define __AInt_Sle __AInt_81
#define _AInt_Sle _AInt_81
#define AInt_81 AInt_Sle
extern OBJ __AInt_Sle;
extern OBJ _AInt_Sle(OBJ,OBJ);

#define __AInt_Sge __AInt_82
#define _AInt_Sge _AInt_82
#define AInt_82 AInt_Sge
extern OBJ __AInt_Sge;
extern OBJ _AInt_Sge(OBJ,OBJ);

#define __AInt_Sl __AInt_83
#define _AInt_Sl _AInt_83
#define AInt_83 AInt_Sl
extern OBJ __AInt_Sl;
extern OBJ _AInt_Sl(OBJ,OBJ);

#define __AInt_Sg __AInt_84
#define _AInt_Sg _AInt_84
#define AInt_84 AInt_Sg
extern OBJ __AInt_Sg;
extern OBJ _AInt_Sg(OBJ,OBJ);

#define __AInt_Aprimitive __AInt_85
extern OBJ __AInt_Aprimitive;

#define __AInt_Aprimitive_ __AInt_86
#define _AInt_Aprimitive_ _AInt_86
#define AInt_86 AInt_Aprimitive_
extern OBJ __AInt_Aprimitive_;
extern OBJ _AInt_Aprimitive_(OBJ);

#define __AInt_AuncheckedSucc __AInt_87
#define _AInt_AuncheckedSucc _AInt_87
#define AInt_87 AInt_AuncheckedSucc
extern OBJ __AInt_AuncheckedSucc;
extern OBJ _AInt_AuncheckedSucc(OBJ);

#define __AInt_AuncheckedPred __AInt_88
#define _AInt_AuncheckedPred _AInt_88
#define AInt_88 AInt_AuncheckedPred
extern OBJ __AInt_AuncheckedPred;
extern OBJ _AInt_AuncheckedPred(OBJ);

#define __AInt_AuncheckedAdd __AInt_89
#define _AInt_AuncheckedAdd _AInt_89
#define AInt_89 AInt_AuncheckedAdd
extern OBJ __AInt_AuncheckedAdd;
extern OBJ _AInt_AuncheckedAdd(OBJ,OBJ);

#define __AInt_AuncheckedSub __AInt_90
#define _AInt_AuncheckedSub _AInt_90
#define AInt_90 AInt_AuncheckedSub
extern OBJ __AInt_AuncheckedSub;
extern OBJ _AInt_AuncheckedSub(OBJ,OBJ);

#define __AInt_AuncheckedMul __AInt_91
#define _AInt_AuncheckedMul _AInt_91
#define AInt_91 AInt_AuncheckedMul
extern OBJ __AInt_AuncheckedMul;
extern OBJ _AInt_AuncheckedMul(OBJ,OBJ);

#define __AInt_AuncheckedDiv __AInt_92
#define _AInt_AuncheckedDiv _AInt_92
#define AInt_92 AInt_AuncheckedDiv
extern OBJ __AInt_AuncheckedDiv;
extern OBJ _AInt_AuncheckedDiv(OBJ,OBJ);

#define __AInt_AuncheckedMod __AInt_93
#define _AInt_AuncheckedMod _AInt_93
#define AInt_93 AInt_AuncheckedMod
extern OBJ __AInt_AuncheckedMod;
extern OBJ _AInt_AuncheckedMod(OBJ,OBJ);

#include "Int.hc.h"

#ifndef AInt_S1
#define AInt_S1(x1,x2) {x2=_AInt_S1(x1);}
#endif

#ifndef AInt_Sp
#define AInt_Sp(x1,x2,x7) {x7=_AInt_Sp(x1,x2);}
#endif

#ifndef AInt_Sm
#define AInt_Sm(x1,x2,x10) {x10=_AInt_Sm(x1,x2);}
#endif

#ifndef AInt_S8
#define AInt_S8(x1,x2,x13) {x13=_AInt_S8(x1,x2);}
#endif

#ifndef AInt_Ss
#define AInt_Ss(x1,x2,x4) {x4=_AInt_Ss(x1,x2);}
#endif

#ifndef AInt_Adiv
#define AInt_Adiv(x1,x2,x4) {x4=_AInt_Adiv(x1,x2);}
#endif

#ifndef AInt_S5
#define AInt_S5(x1,x2,x4) {x4=_AInt_S5(x1,x2);}
#endif

#ifndef AInt_Amod
#define AInt_Amod(x1,x2,x4) {x4=_AInt_Amod(x1,x2);}
#endif

#ifndef AInt_S6
#define AInt_S6(x1,x2,x3) {x3=_AInt_S6(x1,x2);}
#endif

#ifndef AInt_Apow
#define AInt_Apow(x1,x2,x3) {x3=_AInt_Apow(x1,x2);}
#endif

#ifndef AInt_Asucc
#define AInt_Asucc(x1,x3) {x3=_AInt_Asucc(x1);}
#endif

#ifndef AInt_Apred
#define AInt_Apred(x1,x3) {x3=_AInt_Apred(x1);}
#endif

#ifndef AInt_Adouble
#define AInt_Adouble(x1,x6) {x6=_AInt_Adouble(x1);}
#endif

#ifndef AInt_Ahalf
#define AInt_Ahalf(x1,x2) {x2=_AInt_Ahalf(x1);}
#endif

#ifndef AInt_Amin_O1
#define AInt_Amin_O1(x1,x2,x4) {x4=_AInt_Amin_O1(x1,x2);}
#endif

#ifndef AInt_Amax_O1
#define AInt_Amax_O1(x1,x2,x4) {x4=_AInt_Amax_O1(x1,x2);}
#endif

#ifndef AInt_Asign
#define AInt_Asign(x1,x2) {x2=_AInt_Asign(x1);}
#endif

#ifndef AInt_Sm_O1
#define AInt_Sm_O1(x1,x2) {x2=_AInt_Sm_O1(x1);}
#endif

#ifndef AInt_Aabs
#define AInt_Aabs(x1,x2) {x2=_AInt_Aabs(x1);}
#endif

#ifndef AInt_Aeven_
#define AInt_Aeven_(x1,x2) {x2=_AInt_Aeven_(x1);}
#endif

#ifndef AInt_Aodd_
#define AInt_Aodd_(x1,x2) {x2=_AInt_Aodd_(x1);}
#endif

#ifndef AInt_Aneg_
#define AInt_Aneg_(x1,x2) {x2=_AInt_Aneg_(x1);}
#endif

#ifndef AInt_Azero_
#define AInt_Azero_(x1,x2) {x2=_AInt_Azero_(x1);}
#endif

#ifndef AInt_Apos_
#define AInt_Apos_(x1,x2) {x2=_AInt_Apos_(x1);}
#endif

#ifndef AInt_Se
#define AInt_Se(x1,x2,x3) {x3=_AInt_Se(x1,x2);}
#endif

#ifndef AInt_SSe
#define AInt_SSe(x1,x2,x3) {x3=_AInt_SSe(x1,x2);}
#endif

#ifndef AInt_Sle
#define AInt_Sle(x1,x2,x3) {x3=_AInt_Sle(x1,x2);}
#endif

#ifndef AInt_Sge
#define AInt_Sge(x1,x2,x3) {x3=_AInt_Sge(x1,x2);}
#endif

#ifndef AInt_Sl
#define AInt_Sl(x1,x2,x3) {x3=_AInt_Sl(x1,x2);}
#endif

#ifndef AInt_Sg
#define AInt_Sg(x1,x2,x3) {x3=_AInt_Sg(x1,x2);}
#endif

#ifndef AInt_Aprimitive_
#define AInt_Aprimitive_(x1,x2) {x2=_AInt_Aprimitive_(x1);}
#endif

#ifndef AInt_AuncheckedSucc
#define AInt_AuncheckedSucc(x1,x2) {x2=_AInt_AuncheckedSucc(x1);}
#endif

#ifndef AInt_AuncheckedPred
#define AInt_AuncheckedPred(x1,x2) {x2=_AInt_AuncheckedPred(x1);}
#endif

#ifndef AInt_AuncheckedAdd
#define AInt_AuncheckedAdd(x1,x2,x3) {x3=_AInt_AuncheckedAdd(x1,x2);}
#endif

#ifndef AInt_AuncheckedSub
#define AInt_AuncheckedSub(x1,x2,x3) {x3=_AInt_AuncheckedSub(x1,x2);}
#endif

#ifndef AInt_AuncheckedMul
#define AInt_AuncheckedMul(x1,x2,x3) {x3=_AInt_AuncheckedMul(x1,x2);}
#endif

#ifndef AInt_AuncheckedDiv
#define AInt_AuncheckedDiv(x1,x2,x3) {x3=_AInt_AuncheckedDiv(x1,x2);}
#endif

#ifndef AInt_AuncheckedMod
#define AInt_AuncheckedMod(x1,x2,x3) {x3=_AInt_AuncheckedMod(x1,x2);}
#endif

#ifndef AInt_S8_L94
#define AInt_S8_L94(x1,x2) {x2=_AInt_S8_L94(x1);}
#endif

#endif
