

#include "BUILTIN.h"

#include "Nat.h"

#include "Real.h"
extern OBJ __ASeq_6;

#include "Random.h"
OBJ __ARandom_Aseed_; /* seed? */
extern OBJ _ARandom_Aseed(OBJ);OBJ __ARandom_Aseed; /* seed */
OBJ __ARandom_Arandom; /* random */
extern OBJ _ARandom_Arandom_O1(OBJ);OBJ __ARandom_Arandom_O1; /* random,1 */
OBJ __ARandom_Arandom_O2; /* random,2 */
extern OBJ _ARandom_Ax_Aseed_(OBJ);OBJ __ARandom_Ax_Aseed_; /* x_seed? */
extern OBJ _ARandom_Ax_Aseed(OBJ,OBJ);OBJ __ARandom_Ax_Aseed; /* x_seed */
extern OBJ _ARandom_Arandom_Areal(OBJ);OBJ __ARandom_Arandom_Areal; /* random_real */
extern OBJ _ARandom_Arandom_Anat_Anat(OBJ,OBJ);OBJ __ARandom_Arandom_Anat_Anat; /* random_nat_nat */
extern OBJ _ARandom_Arandom_Anat(OBJ);OBJ __ARandom_Arandom_Anat; /* random_nat */

#include "Random.hc.c"

extern OBJ _ARandom_Aseed(OBJ x1) /* seed */
{OBJ r;
 CPCLS(__ARandom_Ax_Aseed,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__ARandom_Ax_Aseed,1))(__ARandom_Ax_Aseed,x1);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}

extern OBJ _ARandom_Arandom_O1(OBJ x1) /* random,1 */
{OBJ r;
 CPCLS(__ARandom_Arandom_Anat_Anat,1);
 {OBJ x2;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__ARandom_Arandom_Anat_Anat,1))(__ARandom_Arandom_Anat_Anat,x1);
  PRD(2,0,r);FLD(r,1)=x2;FLD(r,2)=__ASeq_6;}
 return r;}




init_ARandom()
{
 static int visited=0; if(visited) return; visited=1;
 init_ACom();
 init_ANat();
 init_AReal();
 init_AVoid();
 init_ASeq();
 init_AOption();
 init_ASeqMap();
 CLS(1,_ARandom_10,__ARandom_10);
 CLS(2,_ARandom_9,__ARandom_9);
 CLS(1,_ARandom_8,__ARandom_8);
 CLS(2,_ARandom_7,__ARandom_7);
 CLS(1,_ARandom_6,__ARandom_6);
 CLS(1,_ARandom_4,__ARandom_4);
 CLS(1,_ARandom_2,__ARandom_2);
 init_const_ARandom();
 /* __ARandom_Aseed_ */
 CPCLS(__ARandom_Ax_Aseed_,1);
 PRD(2,0,__ARandom_Aseed_);FLD(__ARandom_Aseed_,1)=__ARandom_Ax_Aseed_;FLD(__ARandom_Aseed_,2)=__ASeq_6;
 /* __ARandom_Arandom */
 CPCLS(__ARandom_Arandom_Areal,1);
 PRD(2,0,__ARandom_Arandom);FLD(__ARandom_Arandom,1)=__ARandom_Arandom_Areal;FLD(__ARandom_Arandom,2)=__ASeq_6;
 /* __ARandom_Arandom_O2 */
 CPCLS(__ARandom_Arandom_Anat,1);
 PRD(2,0,__ARandom_Arandom_O2);FLD(__ARandom_Arandom_O2,1)=__ARandom_Arandom_Anat;FLD(__ARandom_Arandom_O2,2)=__ASeq_6;}

