

#ifndef ARealConv_included
#define ARealConv_included

#define __ARealConv_Sq __ARealConv_1
#define _ARealConv_Sq _ARealConv_1
#define ARealConv_1 ARealConv_Sq
extern OBJ __ARealConv_Sq;
extern OBJ _ARealConv_Sq(OBJ);

#define __ARealConv_Sq_O1 __ARealConv_2
#define _ARealConv_Sq_O1 _ARealConv_2
#define ARealConv_2 ARealConv_Sq_O1
extern OBJ __ARealConv_Sq_O1;
extern OBJ _ARealConv_Sq_O1(OBJ,OBJ);

#define __ARealConv_Sqq __ARealConv_3
#define _ARealConv_Sqq _ARealConv_3
#define ARealConv_3 ARealConv_Sqq
extern OBJ __ARealConv_Sqq;
extern OBJ _ARealConv_Sqq(OBJ);

#define __ARealConv_Sqq_O1 __ARealConv_4
#define _ARealConv_Sqq_O1 _ARealConv_4
#define ARealConv_4 ARealConv_Sqq_O1
extern OBJ __ARealConv_Sqq_O1;
extern OBJ _ARealConv_Sqq_O1(OBJ,OBJ);

#define __ARealConv_AasNat __ARealConv_5
#define _ARealConv_AasNat _ARealConv_5
#define ARealConv_5 ARealConv_AasNat
extern OBJ __ARealConv_AasNat;
extern OBJ _ARealConv_AasNat(OBJ);

#define __ARealConv_AasInt __ARealConv_6
#define _ARealConv_AasInt _ARealConv_6
#define ARealConv_6 ARealConv_AasInt
extern OBJ __ARealConv_AasInt;
extern OBJ _ARealConv_AasInt(OBJ);

#define __ARealConv_Atrunc __ARealConv_7
#define _ARealConv_Atrunc _ARealConv_7
#define ARealConv_7 ARealConv_Atrunc
extern OBJ __ARealConv_Atrunc;
extern OBJ _ARealConv_Atrunc(OBJ);

#include "RealConv.hc.h"

#ifndef ARealConv_Sq
#define ARealConv_Sq(x1,x2) {x2=_ARealConv_Sq(x1);}
#endif

#ifndef ARealConv_Sq_O1
#define ARealConv_Sq_O1(x1,x2,x3) {x3=_ARealConv_Sq_O1(x1,x2);}
#endif

#ifndef ARealConv_Sqq
#define ARealConv_Sqq(x1,x2) {x2=_ARealConv_Sqq(x1);}
#endif

#ifndef ARealConv_Sqq_O1
#define ARealConv_Sqq_O1(x1,x2,x3) {x3=_ARealConv_Sqq_O1(x1,x2);}
#endif

#ifndef ARealConv_AasNat
#define ARealConv_AasNat(x1,x2) {x2=_ARealConv_AasNat(x1);}
#endif

#ifndef ARealConv_AasInt
#define ARealConv_AasInt(x1,x2) {x2=_ARealConv_AasInt(x1);}
#endif

#ifndef ARealConv_Atrunc
#define ARealConv_Atrunc(x1,x2) {x2=_ARealConv_Atrunc(x1);}
#endif

#endif
