

#include "BUILTIN.h"
extern OBJ _AFormat_4(OBJ);extern OBJ __AFormat_4;

#include "Nat.h"

#include "Char.h"

#include "Int.h"
extern OBJ _AFmtSeq_2(OBJ,OBJ,OBJ,OBJ,OBJ);extern OBJ __AFmtSeq_2;
extern OBJ _ACompose_4(OBJ,OBJ,OBJ);extern OBJ __ACompose_4;
extern OBJ _AFormatFun1_2(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AFormatFun1_2; /* list */

extern OBJ _AFormatFun1_2(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* list */
{OBJ r;
 CPCLS(__AFormat_4,1);
 CPCLS(__ACompose_4,1);
 {OBJ x6;
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ACompose_4,2))(__ACompose_4,__AFormat_4,x4);
  r=_AFmtSeq_2(x6,x1,x2,x3,x5);}
 return r;}

static OBJ _mt_5_0_4(OBJ t,OBJ t1,OBJ t2,OBJ t3,OBJ t4) 
{OBJ r;
 DPCLS(t,r);
 INCCLS(r,0,4);
 FLDCLS(r,1)=t1;
 FLDCLS(r,2)=t2;
 FLDCLS(r,3)=t3;
 FLDCLS(r,4)=t4;
 return r;}

static OBJ _mt_5_4_1(OBJ t,OBJ t1) 
{OBJ r;
 if(EXCLS(t)){
  DSCLSF(t);
 }else{
  COPY(FLDCLS(t,1),1);
  COPY(FLDCLS(t,2),1);
  COPY(FLDCLS(t,3),1);
  COPY(FLDCLS(t,4),1);
  DCCLS(t,1);}
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ))ENTRY(t))(FLDCLS(t,1),FLDCLS(t,2),FLDCLS(t,3),FLDCLS(t,4),t1);
 return r;}
static OBJ _mt_5_4_1_l(OBJ t,OBJ t1) 
{OBJ r;
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ))ENTRY(t))(FLDCLS(t,1),FLDCLS(t,2),FLDCLS(t,3),FLDCLS(t,4),t1);
 if(EXCLS(t)){
  DSCLSF(t);
 }else{
  DCCLS(t,1);
  FLDCLS(t,1)=NIL;FLDCLS(t,2)=NIL;FLDCLS(t,3)=NIL;FLDCLS(t,4)=NIL;
  COPY(r,1);LZYCLS(t,r);}
 return r;}

init_AFormatFun1()
{
 static int visited=0; if(visited) return; visited=1;
 init_AFormat();
 init_ASeq();
 init_ANat();
 init_AOption();
 init_AString();
 init_ACom();
 init_AStream();
 init_AVoid();
 init_AFmt();
 init_AChar();
 init_AFile();
 init_AInt();
 init_AFmtSeq();
 init_ACompose();
 init_ASeqReduce();
 CLS(5,_AFormatFun1_2,__AFormatFun1_2);
 MTH(5,0,4,_mt_5_0_4);LZYMTH(5,0,4,_mt_5_0_4);
 MTH(5,4,1,_mt_5_4_1);LZYMTH(5,4,1,_mt_5_4_1_l);}

