

#ifndef AIntConv_included
#define AIntConv_included

#define __AIntConv_Sq __AIntConv_1
#define _AIntConv_Sq _AIntConv_1
#define AIntConv_1 AIntConv_Sq
extern OBJ __AIntConv_Sq;
extern OBJ _AIntConv_Sq(OBJ);

#define __AIntConv_AasNat __AIntConv_2
#define _AIntConv_AasNat _AIntConv_2
#define AIntConv_2 AIntConv_AasNat
extern OBJ __AIntConv_AasNat;
extern OBJ _AIntConv_AasNat(OBJ);

#define __AIntConv_AasReal __AIntConv_3
#define _AIntConv_AasReal _AIntConv_3
#define AIntConv_3 AIntConv_AasReal
extern OBJ __AIntConv_AasReal;
extern OBJ _AIntConv_AasReal(OBJ);

#include "IntConv.hc.h"

#ifndef AIntConv_Sq
#define AIntConv_Sq(x1,x2) {x2=_AIntConv_Sq(x1);}
#endif

#ifndef AIntConv_AasNat
#define AIntConv_AasNat(x1,x2) {x2=_AIntConv_AasNat(x1);}
#endif

#ifndef AIntConv_AasReal
#define AIntConv_AasReal(x1,x2) {x2=_AIntConv_AasReal(x1);}
#endif

#endif
