

#include "BUILTIN.h"
extern OBJ _AFmt_40(OBJ);extern OBJ __AFmt_40;

#include "Nat.h"

#include "Char.h"
extern OBJ _ADEBUG_3(OBJ,OBJ,OBJ);extern OBJ __ADEBUG_3;
extern OBJ _ADEBUG_5(OBJ,OBJ,OBJ);extern OBJ __ADEBUG_5;
extern OBJ _AFmtDebug_2(OBJ,OBJ,OBJ);OBJ __AFmtDebug_2; /* PRINT */
extern OBJ _AFmtDebug_3(OBJ,OBJ,OBJ);OBJ __AFmtDebug_3; /* PRINT,1 */
extern OBJ _AFmtDebug_4(OBJ,OBJ);OBJ __AFmtDebug_4; /* PRINT,1'4 */

extern OBJ _AFmtDebug_2(OBJ x1,OBJ x2,OBJ x3) /* PRINT */
{OBJ r;
 {OBJ x4;
  x4=_AFmt_40(x2);
  r=_ADEBUG_5(x1,x4,x3);}
 return r;}

extern OBJ _AFmtDebug_3(OBJ x1,OBJ x2,OBJ x3) /* PRINT,1 */
{OBJ r;
 CPCLS(__AFmtDebug_4,1);
 {OBJ x4;
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__AFmtDebug_4,1))(__AFmtDebug_4,x2);
  r=_ADEBUG_3(x1,x4,x3);}
 return r;}

extern OBJ _AFmtDebug_4(OBJ x1,OBJ x2) /* PRINT,1'4 */
{OBJ r;
 {OBJ x3;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(x1,1))(x1,__ABUILTIN_20);
  r=_AFmt_40(x3);}
 return r;}

init_AFmtDebug()
{
 static int visited=0; if(visited) return; visited=1;
 init_AFmt();
 init_AVoid();
 init_ANat();
 init_AString();
 init_ASeq();
 init_AOption();
 init_AChar();
 init_ADEBUG();
 init_ASeqReduce();
 LCLS(2,_AFmtDebug_4,__AFmtDebug_4);
 CLS(3,_AFmtDebug_3,__AFmtDebug_3);
 CLS(3,_AFmtDebug_2,__AFmtDebug_2);}

