

#include "BUILTIN.h"

#include "Nat.h"

#include "Int.h"

#include "Real.h"

#include "Char.h"
extern OBJ _AString_2(OBJ,OBJ);extern OBJ __AString_2;
extern OBJ _AString_4(OBJ);extern OBJ __AString_4;
extern OBJ _AString_5(OBJ);extern OBJ __AString_5;
extern OBJ __AString_6;
extern OBJ __AString_8;
extern OBJ _AString_12(OBJ);extern OBJ __AString_12;
extern OBJ _AString_21(OBJ,OBJ);extern OBJ __AString_21;
extern OBJ _AString_24(OBJ,OBJ);extern OBJ __AString_24;
extern OBJ _AString_39(OBJ);extern OBJ __AString_39;
extern OBJ _AString_40(OBJ,OBJ);extern OBJ __AString_40;
extern OBJ _AString_47(OBJ,OBJ);extern OBJ __AString_47;
extern OBJ _AString_48(OBJ,OBJ);extern OBJ __AString_48;
extern OBJ _AString_49(OBJ);extern OBJ __AString_49;
extern OBJ _AString_50(OBJ,OBJ);extern OBJ __AString_50;
extern OBJ __ASeq_6;
extern OBJ _ASeq_51(OBJ,OBJ);extern OBJ __ASeq_51;

#include "CharConv.h"
extern OBJ _AStringConv_1(OBJ);extern OBJ __AStringConv_1;
extern OBJ _AStringIndex_3(OBJ,OBJ,OBJ);extern OBJ __AStringIndex_3;
extern OBJ _AStringFilter_4(OBJ,OBJ);extern OBJ __AStringFilter_4;
extern TUP2 _AStringFilter_5(OBJ,OBJ);extern OBJ __AStringFilter_5;
extern OBJ __APrintableChar_8;
extern OBJ __APrintableChar_12;
extern OBJ __APrintableChar_13;
extern OBJ __APrintableChar_21;
extern OBJ __APrintableChar_23;
extern OBJ __APrintableChar_25;
extern OBJ __APrintableChar_27;
extern OBJ __APrintableChar_28;
extern OBJ __APrintableChar_29;
extern OBJ __APrintableChar_60;
extern OBJ __APrintableChar_70;
extern OBJ __APrintableChar_71;
extern OBJ __APrintableChar_72;
extern OBJ __APrintableChar_73;
extern OBJ __APrintableChar_77;
extern OBJ __APrintableChar_82;
extern OBJ __APrintableChar_86;
extern OBJ __APrintableChar_87;

#include "NatConv.h"

#include "IntConv.h"

#include "RealConv.h"

#include "Denotation.h"
extern OBJ _AStringFormat_1(OBJ,OBJ);OBJ __AStringFormat_1; /* format */
extern OBJ _AStringFormat_2(OBJ,OBJ);OBJ __AStringFormat_2; /* format,1 */
extern OBJ _AStringFormat_4(OBJ,OBJ);OBJ __AStringFormat_4; /* <- */
extern OBJ _AStringFormat_5(OBJ,OBJ);OBJ __AStringFormat_5; /* <-,1 */
extern OBJ _AStringFormat_6(OBJ,OBJ);OBJ __AStringFormat_6; /* <-,2 */
extern OBJ _AStringFormat_7(OBJ,OBJ);OBJ __AStringFormat_7; /* <-,3 */
extern OBJ _AStringFormat_8(OBJ,OBJ);OBJ __AStringFormat_8; /* <-,4 */
extern OBJ _AStringFormat_9(OBJ,OBJ);OBJ __AStringFormat_9; /* & */
extern OBJ _AStringFormat_10(OBJ,OBJ);OBJ __AStringFormat_10; /* &,1 */
extern OBJ _AStringFormat_11(OBJ,OBJ);OBJ __AStringFormat_11; /* &,2 */
extern OBJ _AStringFormat_12(OBJ,OBJ);OBJ __AStringFormat_12; /* &,3 */
extern OBJ _AStringFormat_13(OBJ,OBJ);OBJ __AStringFormat_13; /* &,4 */
extern OBJ _AStringFormat_14(OBJ);OBJ __AStringFormat_14; /* formatS */
extern OBJ _AStringFormat_15(OBJ,OBJ);OBJ __AStringFormat_15; /* mkScript */
extern OBJ _AStringFormat_16(OBJ);OBJ __AStringFormat_16; /* mkScript? */
extern OBJ _AStringFormat_17(OBJ);OBJ __AStringFormat_17; /* args */
extern OBJ _AStringFormat_18(OBJ);OBJ __AStringFormat_18; /* pattern */
extern OBJ _AStringFormat_20(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_20; /* formatT */
extern OBJ _AStringFormat_21(OBJ);OBJ __AStringFormat_21; /* formatT? */
extern OBJ _AStringFormat_22(OBJ);OBJ __AStringFormat_22; /* precision */
extern OBJ _AStringFormat_23(OBJ);OBJ __AStringFormat_23; /* precopt */
extern OBJ _AStringFormat_24(OBJ);OBJ __AStringFormat_24; /* minwidth */
extern OBJ _AStringFormat_25(OBJ);OBJ __AStringFormat_25; /* minwidthopt */
extern OBJ _AStringFormat_26(OBJ);OBJ __AStringFormat_26; /* alternate */
extern OBJ _AStringFormat_27(OBJ);OBJ __AStringFormat_27; /* leadzero */
extern OBJ _AStringFormat_28(OBJ);OBJ __AStringFormat_28; /* emptysign */
extern OBJ _AStringFormat_29(OBJ);OBJ __AStringFormat_29; /* signed */
extern OBJ _AStringFormat_30(OBJ);OBJ __AStringFormat_30; /* leftjustified */
extern OBJ _AStringFormat_31(OBJ,OBJ,OBJ);OBJ __AStringFormat_31; /* STRING */
OBJ __AStringFormat_32; /* stdformat */
extern OBJ _AStringFormat_33(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_33; /* FORMAT */
extern OBJ _AStringFormat_34(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_34; /* FORMATWIDTH */
extern OBJ _AStringFormat_35(OBJ);OBJ __AStringFormat_35; /* nzdigit? */
extern OBJ _AStringFormat_36(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_36; /* FORMATPREC */
extern OBJ _AStringFormat_37(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_37; /* FORMATPRECWIDTH */
extern OBJ _AStringFormat_38(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_38; /* FORMATTYPE */
extern OBJ _AStringFormat_39(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_39; /* FORMATNAT */
extern OBJ _AStringFormat_40(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_40; /* FORMATINT */
extern OBJ _AStringFormat_41(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_41; /* FORMATREAL1 */
extern OBJ _AStringFormat_42(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_42; /* FORMATREAL2 */
extern OBJ _AStringFormat_43(OBJ,OBJ);OBJ __AStringFormat_43; /* addzeros */
extern OBJ _AStringFormat_44(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_44; /* FORMATREAL3 */
extern OBJ _AStringFormat_45(OBJ,OBJ);OBJ __AStringFormat_45; /* RzuString */
extern TUP2 _AStringFormat_46(OBJ,OBJ,OBJ);OBJ __AStringFormat_46; /* prec */
extern OBJ _AStringFormat_47(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_47; /* FORMATSTRING */
extern OBJ _AStringFormat_48(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_48; /* FORMATCHAR */
extern OBJ _AStringFormat_49(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_49; /* FORMATBOOL */
extern OBJ _AStringFormat_50(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_50; /* FORMATDENOTATION */
extern TUP2 _AStringFormat_51(OBJ);OBJ __AStringFormat_51; /* getnat */
extern TUP2 _AStringFormat_52(OBJ);OBJ __AStringFormat_52; /* getint */
extern TUP2 _AStringFormat_53(OBJ);OBJ __AStringFormat_53; /* getreal */
extern TUP2 _AStringFormat_54(OBJ);OBJ __AStringFormat_54; /* getstring */
extern TUP2 _AStringFormat_55(OBJ);OBJ __AStringFormat_55; /* getchar */
extern TUP2 _AStringFormat_56(OBJ);OBJ __AStringFormat_56; /* getbool */
extern TUP2 _AStringFormat_57(OBJ);OBJ __AStringFormat_57; /* getdeno */
extern OBJ _AStringFormat_58(OBJ,OBJ,OBJ);OBJ __AStringFormat_58; /* padzeros */
extern OBJ _AStringFormat_59(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_59; /* pad */
extern OBJ _AStringFormat_60(OBJ,OBJ,OBJ,OBJ);OBJ __AStringFormat_60; /* scanformat */
extern OBJ _AStringFormat_61(OBJ,OBJ);OBJ __AStringFormat_61; /* :: */
extern OBJ _AStringFormat_62(OBJ,OBJ);OBJ __AStringFormat_62; /* ::,1 */
extern OBJ _AStringFormat_63(OBJ);OBJ __AStringFormat_63; /* check */
extern TUP2 _AStringFormat_64(OBJ,OBJ,OBJ);OBJ __AStringFormat_64; /* - */
extern OBJ _AStringFormat_65(OBJ,OBJ);OBJ __AStringFormat_65; /* zero? */
extern OBJ _AStringFormat_66(OBJ,OBJ);OBJ __AStringFormat_66; /* substringTo */
extern OBJ _AStringFormat_67(OBJ,OBJ);OBJ __AStringFormat_67; /* substringFrom */
extern TUP2 _AStringFormat_68(OBJ,OBJ);OBJ __AStringFormat_68; /* normalisiert */
extern OBJ _AStringFormat_69(OBJ);OBJ __AStringFormat_69; /* addzeros'69 */
OBJ __AStringFormat_70; /* RzuString'70 */
extern OBJ _AStringFormat_71(OBJ);OBJ __AStringFormat_71; /* RzuString'71 */
extern OBJ _AStringFormat_72(OBJ);OBJ __AStringFormat_72; /* prec'72 */
OBJ __AStringFormat_73; /* getdeno'73 */
extern OBJ _AStringFormat_74(OBJ);OBJ __AStringFormat_74; /* STRING'74 */
OBJ __AStringFormat_75; /* FORMATBOOL'75 */
extern OBJ _AStringFormat_76(OBJ);OBJ __AStringFormat_76; /* FORMATBOOL'76 */
extern OBJ _AStringFormat_77(OBJ);OBJ __AStringFormat_77; /* FORMATBOOL'77 */
OBJ __AStringFormat_78; /* FORMATBOOL'78 */
extern OBJ _AStringFormat_79(OBJ);OBJ __AStringFormat_79; /* FORMATBOOL'79 */
OBJ __AStringFormat_80; /* FORMATBOOL'80 */
extern OBJ _AStringFormat_81(OBJ);OBJ __AStringFormat_81; /* FORMATBOOL'81 */
OBJ __AStringFormat_82; /* FORMATBOOL'82 */
extern OBJ _AStringFormat_83(OBJ);OBJ __AStringFormat_83; /* FORMATBOOL'83 */
OBJ __AStringFormat_84; /* FORMATBOOL'84 */
extern OBJ _AStringFormat_85(OBJ);OBJ __AStringFormat_85; /* FORMATBOOL'85 */
OBJ __AStringFormat_86; /* FORMATREAL3'86 */
extern OBJ _AStringFormat_87(OBJ);OBJ __AStringFormat_87; /* FORMATREAL3'87 */
OBJ __AStringFormat_88; /* FORMATREAL3'88 */
extern OBJ _AStringFormat_89(OBJ);OBJ __AStringFormat_89; /* FORMATREAL3'89 */
OBJ __AStringFormat_90; /* FORMATREAL3'90 */
extern OBJ _AStringFormat_91(OBJ);OBJ __AStringFormat_91; /* FORMATREAL3'91 */
OBJ __AStringFormat_92; /* FORMATREAL3'92 */
extern OBJ _AStringFormat_93(OBJ);OBJ __AStringFormat_93; /* FORMATREAL3'93 */
extern OBJ _AStringFormat_94(OBJ);OBJ __AStringFormat_94; /* FORMATREAL2'94 */
extern OBJ _AStringFormat_95(OBJ);OBJ __AStringFormat_95; /* FORMATREAL1'95 */
extern OBJ _AStringFormat_96(OBJ);OBJ __AStringFormat_96; /* scanformat'96 */
extern OBJ _AStringFormat_97(OBJ);OBJ __AStringFormat_97; /* scanformat'97 */
extern OBJ _AStringFormat_98(OBJ);OBJ __AStringFormat_98; /* ::,1'98 */
extern OBJ _AStringFormat_99(OBJ);OBJ __AStringFormat_99; /* check'99 */

extern OBJ _AStringFormat_1(OBJ x1,OBJ x2) /* format */
{OBJ r;
 {OBJ x3;
  x3=_AString_49(x1);
  r=_AStringFormat_31(x3,x2,__AString_6);}
 return r;}

extern OBJ _AStringFormat_2(OBJ x1,OBJ x2) /* format,1 */
{OBJ r;
 r=_AStringFormat_31(x1,x2,__AString_6);
 return r;}

extern OBJ _AStringFormat_4(OBJ x1,OBJ x2) /* <- */
{OBJ r;
 {OBJ x3;OBJ x4;
  PRD(1,6,x3);FLD(x3,1)=x2;
  PRD1(2,x4);FLD1(x4,1)=x3;FLD1(x4,2)=__ASeq_6;
  PRD1(2,r);FLD1(r,1)=x1;FLD1(r,2)=x4;}
 return r;}

extern OBJ _AStringFormat_5(OBJ x1,OBJ x2) /* <-,1 */
{OBJ r;
 {OBJ x3;OBJ x4;
  PRD(1,4,x3);FLD(x3,1)=x2;
  PRD1(2,x4);FLD1(x4,1)=x3;FLD1(x4,2)=__ASeq_6;
  PRD1(2,r);FLD1(r,1)=x1;FLD1(r,2)=x4;}
 return r;}

extern OBJ _AStringFormat_6(OBJ x1,OBJ x2) /* <-,2 */
{OBJ r;
 {OBJ x3;OBJ x4;
  PRD(1,2,x3);FLD(x3,1)=x2;
  PRD1(2,x4);FLD1(x4,1)=x3;FLD1(x4,2)=__ASeq_6;
  PRD1(2,r);FLD1(r,1)=x1;FLD1(r,2)=x4;}
 return r;}

extern OBJ _AStringFormat_7(OBJ x1,OBJ x2) /* <-,3 */
{OBJ r;
 {OBJ x3;OBJ x4;
  PRDF(1,0,x3);FLD(x3,1)=x2;
  PRD1(2,x4);FLD1(x4,1)=x3;FLD1(x4,2)=__ASeq_6;
  PRD1(2,r);FLD1(r,1)=x1;FLD1(r,2)=x4;}
 return r;}

extern OBJ _AStringFormat_8(OBJ x1,OBJ x2) /* <-,4 */
{OBJ r;
 {OBJ x3;OBJ x4;
  PRDF(1,1,x3);FLD(x3,1)=x2;
  PRD1(2,x4);FLD1(x4,1)=x3;FLD1(x4,2)=__ASeq_6;
  PRD1(2,r);FLD1(r,1)=x1;FLD1(r,2)=x4;}
 return r;}

extern OBJ _AStringFormat_9(OBJ x1,OBJ x2) /* & */
{OBJ r;
 {OBJ x9;
  PRD(1,6,x9);FLD(x9,1)=x2;
  {OBJ x11=FLD1(x1,1);OBJ x12;FLAG x_x1=EXPRD(x1,1);
   if(x_x1){
   }else{
    x12=FLD1(x1,2);CPPRD(x11,1);COPY(x12,1);}
   {OBJ x13;
    if(x_x1){
     RSOME(x1,x13);FLD1(x13,1)=x9;
    }else{
     FRPRD(x1,1);PRD1(2,x13);FLD1(x13,1)=x9;FLD1(x13,2)=x12;}
    PRD1(2,r);FLD1(r,1)=x11;FLD1(r,2)=x13;}}}
 return r;}

extern OBJ _AStringFormat_10(OBJ x1,OBJ x2) /* &,1 */
{OBJ r;
 {OBJ x9;
  PRD(1,4,x9);FLD(x9,1)=x2;
  {OBJ x11=FLD1(x1,1);OBJ x12;FLAG x_x1=EXPRD(x1,1);
   if(x_x1){
   }else{
    x12=FLD1(x1,2);CPPRD(x11,1);COPY(x12,1);}
   {OBJ x13;
    if(x_x1){
     RSOME(x1,x13);FLD1(x13,1)=x9;
    }else{
     FRPRD(x1,1);PRD1(2,x13);FLD1(x13,1)=x9;FLD1(x13,2)=x12;}
    PRD1(2,r);FLD1(r,1)=x11;FLD1(r,2)=x13;}}}
 return r;}

extern OBJ _AStringFormat_11(OBJ x1,OBJ x2) /* &,2 */
{OBJ r;
 {OBJ x9;
  PRD(1,2,x9);FLD(x9,1)=x2;
  {OBJ x11=FLD1(x1,1);OBJ x12;FLAG x_x1=EXPRD(x1,1);
   if(x_x1){
   }else{
    x12=FLD1(x1,2);CPPRD(x11,1);COPY(x12,1);}
   {OBJ x13;
    if(x_x1){
     RSOME(x1,x13);FLD1(x13,1)=x9;
    }else{
     FRPRD(x1,1);PRD1(2,x13);FLD1(x13,1)=x9;FLD1(x13,2)=x12;}
    PRD1(2,r);FLD1(r,1)=x11;FLD1(r,2)=x13;}}}
 return r;}

extern OBJ _AStringFormat_12(OBJ x1,OBJ x2) /* &,3 */
{OBJ r;
 {OBJ x9;
  PRDF(1,0,x9);FLD(x9,1)=x2;
  {OBJ x11=FLD1(x1,1);OBJ x12;FLAG x_x1=EXPRD(x1,1);
   if(x_x1){
   }else{
    x12=FLD1(x1,2);CPPRD(x11,1);COPY(x12,1);}
   {OBJ x13;
    if(x_x1){
     RSOME(x1,x13);FLD1(x13,1)=x9;
    }else{
     FRPRD(x1,1);PRD1(2,x13);FLD1(x13,1)=x9;FLD1(x13,2)=x12;}
    PRD1(2,r);FLD1(r,1)=x11;FLD1(r,2)=x13;}}}
 return r;}

extern OBJ _AStringFormat_13(OBJ x1,OBJ x2) /* &,4 */
{OBJ r;
 {OBJ x9;
  PRDF(1,1,x9);FLD(x9,1)=x2;
  {OBJ x11=FLD1(x1,1);OBJ x12;FLAG x_x1=EXPRD(x1,1);
   if(x_x1){
   }else{
    x12=FLD1(x1,2);CPPRD(x11,1);COPY(x12,1);}
   {OBJ x13;
    if(x_x1){
     RSOME(x1,x13);FLD1(x13,1)=x9;
    }else{
     FRPRD(x1,1);PRD1(2,x13);FLD1(x13,1)=x9;FLD1(x13,2)=x12;}
    PRD1(2,r);FLD1(r,1)=x11;FLD1(r,2)=x13;}}}
 return r;}

extern OBJ _AStringFormat_14(OBJ x1) /* formatS */
{OBJ r;
 {OBJ x10=FLD1(x1,1);OBJ x11=FLD1(x1,2);
  if(EXPRD(x1,1)){
   DSPRDF(x1);
  }else{
   CPPRD(x10,1);COPY(x11,1);
   FRPRD(x1,1);}
  {OBJ x12;OBJ x13;
   x12=_AString_49(x10);
   x13=_ASeq_51(x11,__ASeq_6);
   r=_AStringFormat_31(x12,x13,__AString_6);}}
 return r;}

extern OBJ _AStringFormat_15(OBJ x1,OBJ x2) /* mkScript */
{OBJ r;
 PRD1(2,r);FLD1(r,1)=x1;FLD1(r,2)=x2;
 return r;}

extern OBJ _AStringFormat_16(OBJ x1) /* mkScript? */
{OBJ r;
 FRPRD(x1,1);
 r=__ABUILTIN_5;
 return r;}

extern OBJ _AStringFormat_17(OBJ x1) /* args */
{OBJ r;
 {OBJ x3=FLD1(x1,2);
  if(EXPRD(x1,1)){
   r=x3;
   FRPRD(FLD1(x1,1),1);DSPRDF(x1);
  }else{
   COPY(x3,1);
   r=x3;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_18(OBJ x1) /* pattern */
{OBJ r;
 {OBJ x2=FLD1(x1,1);
  if(EXPRD(x1,1)){
   r=x2;
   FREE(FLD1(x1,2),1);DSPRDF(x1);
  }else{
   CPPRD(x2,1);
   r=x2;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_20(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5,OBJ x6,OBJ x7,OBJ x8,OBJ x9) /* formatT */
{OBJ r;
 PRD1F(9,r);FLD1(r,1)=x1;FLD1(r,2)=x2;FLD1(r,3)=x3;FLD1(r,4)=x4;FLD1(r,5)=x5;FLD1(r,6)=x6;FLD1(r,7)=x7;FLD1(r,8)=x8;FLD1(r,9)=x9;
 return r;}

extern OBJ _AStringFormat_21(OBJ x1) /* formatT? */
{OBJ r;
 FRPRD(x1,1);
 r=__ABUILTIN_5;
 return r;}

extern OBJ _AStringFormat_22(OBJ x1) /* precision */
{OBJ r;
 {OBJ x10=FLD1(x1,9);
  if(EXPRD(x1,1)){
   r=x10;
   DSPRDF(x1);
  }else{
   r=x10;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_23(OBJ x1) /* precopt */
{OBJ r;
 {OBJ x9=FLD1(x1,8);
  if(EXPRD(x1,1)){
   r=x9;
   DSPRDF(x1);
  }else{
   r=x9;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_24(OBJ x1) /* minwidth */
{OBJ r;
 {OBJ x8=FLD1(x1,7);
  if(EXPRD(x1,1)){
   r=x8;
   DSPRDF(x1);
  }else{
   r=x8;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_25(OBJ x1) /* minwidthopt */
{OBJ r;
 {OBJ x7=FLD1(x1,6);
  if(EXPRD(x1,1)){
   r=x7;
   DSPRDF(x1);
  }else{
   r=x7;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_26(OBJ x1) /* alternate */
{OBJ r;
 {OBJ x6=FLD1(x1,5);
  if(EXPRD(x1,1)){
   r=x6;
   DSPRDF(x1);
  }else{
   r=x6;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_27(OBJ x1) /* leadzero */
{OBJ r;
 {OBJ x5=FLD1(x1,4);
  if(EXPRD(x1,1)){
   r=x5;
   DSPRDF(x1);
  }else{
   r=x5;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_28(OBJ x1) /* emptysign */
{OBJ r;
 {OBJ x4=FLD1(x1,3);
  if(EXPRD(x1,1)){
   r=x4;
   DSPRDF(x1);
  }else{
   r=x4;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_29(OBJ x1) /* signed */
{OBJ r;
 {OBJ x3=FLD1(x1,2);
  if(EXPRD(x1,1)){
   r=x3;
   DSPRDF(x1);
  }else{
   r=x3;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_30(OBJ x1) /* leftjustified */
{OBJ r;
 {OBJ x2=FLD1(x1,1);
  if(EXPRD(x1,1)){
   r=x2;
   DSPRDF(x1);
  }else{
   r=x2;
   FRPRD(x1,1);}}
 return r;}

extern OBJ _AStringFormat_31(OBJ x1,OBJ x2,OBJ x3) /* STRING */
{OBJ r;
 CPCLS(__AStringFormat_74,1);
 {TUP2 x5;OBJ x11;
  x5=_AStringFilter_5(__AStringFormat_74,x1);
  x11=_AString_24(x3,x5.c1);
  if(ISPRM(x5.c2)){
   r=x11;
   FREE(x2,1);
  }else{
   CPPRD(__AStringFormat_32,1);
   {OBJ x16;
    x16=_AString_4(x5.c2);
    r=_AStringFormat_33(x16,x2,__AStringFormat_32,x11);}}}
 return r;}

extern OBJ _AStringFormat_33(register OBJ x1,register OBJ x2,register OBJ x3,register OBJ x4) /* FORMAT */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   FREE(x2,1);
   FRPRD(x3,1);
   FREE(x4,1);
   r=__AString_6;
  }else{
   CPPRD(x1,2);
   {OBJ x159;OBJ x160;
    x159=_AString_4(x1);
    x160=_AString_5(x1);
    {OBJ x161=FLD1(x3,1);OBJ x162=FLD1(x3,2);OBJ x163=FLD1(x3,3);OBJ x164=FLD1(x3,4);OBJ x165=FLD1(x3,5);OBJ x166=FLD1(x3,6);OBJ x167=FLD1(x3,7);OBJ x168=FLD1(x3,8);OBJ x169=FLD1(x3,9);
     {OBJ x170;
      AChar_15(x160,__APrintableChar_82,x170);
      if(ISTGPRM(x170,1)){
       if(EXPRD(x1,1)){
	DSPRD(x1);
       }else{
	DCPRD(x1,1);}
       r=_AStringFormat_39(x159,x2,x3,x4);
      }else{
       {OBJ x171;
	AChar_15(x160,__APrintableChar_77,x171);
	if(ISTGPRM(x171,1)){
	 if(EXPRD(x1,1)){
	  DSPRD(x1);
	 }else{
	  DCPRD(x1,1);}
	 r=_AStringFormat_40(x159,x2,x3,x4);
	}else{
	 {OBJ x172;
	  AChar_15(x160,__APrintableChar_86,x172);
	  if(ISTGPRM(x172,1)){
	   if(EXPRD(x1,1)){
	    DSPRD(x1);
	   }else{
	    DCPRD(x1,1);}
	   r=_AStringFormat_41(x159,x2,x3,x4);
	  }else{
	   {OBJ x173;
	    AChar_15(x160,__APrintableChar_60,x173);
	    if(ISTGPRM(x173,1)){
	     if(EXPRD(x1,1)){
	      DSPRD(x1);
	     }else{
	      DCPRD(x1,1);}
	     r=_AStringFormat_42(x159,x2,x3,x4);
	    }else{
	     {OBJ x174;
	      AChar_15(x160,__APrintableChar_73,x174);
	      if(ISTGPRM(x174,1)){
	       if(EXPRD(x1,1)){
		DSPRD(x1);
	       }else{
		DCPRD(x1,1);}
	       r=_AStringFormat_44(x159,x2,x3,x4);
	      }else{
	       {OBJ x175;
		AChar_15(x160,__APrintableChar_87,x175);
		if(ISTGPRM(x175,1)){
		 if(EXPRD(x1,1)){
		  DSPRD(x1);
		 }else{
		  DCPRD(x1,1);}
		 r=_AStringFormat_47(x159,x2,x3,x4);
		}else{
		 {OBJ x176;
		  AChar_15(x160,__APrintableChar_71,x176);
		  if(ISTGPRM(x176,1)){
		   if(EXPRD(x1,1)){
		    DSPRD(x1);
		   }else{
		    DCPRD(x1,1);}
		   r=_AStringFormat_48(x159,x2,x3,x4);
		  }else{
		   {OBJ x177;
		    AChar_15(x160,__APrintableChar_70,x177);
		    if(ISTGPRM(x177,1)){
		     if(EXPRD(x1,1)){
		      DSPRD(x1);
		     }else{
		      DCPRD(x1,1);}
		     r=_AStringFormat_49(x159,x2,x3,x4);
		    }else{
		     {OBJ x178;
		      AChar_15(x160,__APrintableChar_72,x178);
		      if(ISTGPRM(x178,1)){
		       if(EXPRD(x1,1)){
			DSPRD(x1);
		       }else{
			DCPRD(x1,1);}
		       r=_AStringFormat_50(x159,x2,x3,x4);
		      }else{
		       {OBJ x179;
			AChar_15(x160,__APrintableChar_25,x179);
			if(ISTGPRM(x179,1)){
			 if(EXPRD(x1,1)){
			  DSPRD(x1);
			 }else{
			  DCPRD(x1,1);}
			 if(EXPRD(x3,1)){
			  DSPRDF(x3);
			 }else{
			  DCPRD(x3,1);}
			 {OBJ x180;
			  x180=_AString_21(x4,__APrintableChar_25);
			  r=_AStringFormat_31(x159,x2,x180);}
			}else{
			 {OBJ x181;
			  AChar_15(x160,__APrintableChar_29,x181);
			  if(ISTGPRM(x181,1)){
			   if(EXPRD(x1,1)){
			    DSPRD(x1);
			   }else{
			    DCPRD(x1,1);}
			   if(EXPRD(x3,1)){
			    DSPRDF(x3);
			   }else{
			    DCPRD(x3,1);}
			   {OBJ x182;
			    PRD1F(9,x182);FLD1(x182,1)=__ABUILTIN_5;FLD1(x182,2)=x162;FLD1(x182,3)=x163;FLD1(x182,4)=x164;FLD1(x182,5)=x165;FLD1(x182,6)=x166;FLD1(x182,7)=x167;FLD1(x182,8)=x168;FLD1(x182,9)=x169;
			    x1=x159;x3=x182;continue;}
			  }else{
			   {OBJ x183;
			    AChar_15(x160,__APrintableChar_28,x183);
			    if(ISTGPRM(x183,1)){
			     if(EXPRD(x1,1)){
			      DSPRD(x1);
			     }else{
			      DCPRD(x1,1);}
			     if(EXPRD(x3,1)){
			      DSPRDF(x3);
			     }else{
			      DCPRD(x3,1);}
			     {OBJ x184;
			      PRD1F(9,x184);FLD1(x184,1)=x161;FLD1(x184,2)=__ABUILTIN_5;FLD1(x184,3)=x163;FLD1(x184,4)=x164;FLD1(x184,5)=x165;FLD1(x184,6)=x166;FLD1(x184,7)=x167;FLD1(x184,8)=x168;FLD1(x184,9)=x169;
			      x1=x159;x3=x184;continue;}
			    }else{
			     {OBJ x185;
			      AChar_15(x160,__AChar_8,x185);
			      if(ISTGPRM(x185,1)){
			       if(EXPRD(x1,1)){
				DSPRD(x1);
			       }else{
				DCPRD(x1,1);}
			       if(EXPRD(x3,1)){
				DSPRDF(x3);
			       }else{
				DCPRD(x3,1);}
			       {OBJ x186;
				PRD1F(9,x186);FLD1(x186,1)=x161;FLD1(x186,2)=x162;FLD1(x186,3)=__ABUILTIN_5;FLD1(x186,4)=x164;FLD1(x186,5)=x165;FLD1(x186,6)=x166;FLD1(x186,7)=x167;FLD1(x186,8)=x168;FLD1(x186,9)=x169;
				x1=x159;x3=x186;continue;}
			      }else{
			       {OBJ x187;
				AChar_15(x160,__APrintableChar_12,x187);
				if(ISTGPRM(x187,1)){
				 if(EXPRD(x1,1)){
				  DSPRD(x1);
				 }else{
				  DCPRD(x1,1);}
				 if(EXPRD(x3,1)){
				  DSPRDF(x3);
				 }else{
				  DCPRD(x3,1);}
				 {OBJ x188;
				  PRD1F(9,x188);FLD1(x188,1)=x161;FLD1(x188,2)=x162;FLD1(x188,3)=x163;FLD1(x188,4)=__ABUILTIN_5;FLD1(x188,5)=x165;FLD1(x188,6)=x166;FLD1(x188,7)=x167;FLD1(x188,8)=x168;FLD1(x188,9)=x169;
				  x1=x159;x3=x188;continue;}
				}else{
				 {OBJ x189;
				  AChar_15(x160,__APrintableChar_23,x189);
				  if(ISTGPRM(x189,1)){
				   if(EXPRD(x1,1)){
				    DSPRD(x1);
				   }else{
				    DCPRD(x1,1);}
				   if(EXPRD(x3,1)){
				    DSPRDF(x3);
				   }else{
				    DCPRD(x3,1);}
				   {OBJ x190;
				    PRD1F(9,x190);FLD1(x190,1)=x161;FLD1(x190,2)=x162;FLD1(x190,3)=x163;FLD1(x190,4)=x164;FLD1(x190,5)=__ABUILTIN_5;FLD1(x190,6)=x166;FLD1(x190,7)=x167;FLD1(x190,8)=x168;FLD1(x190,9)=x169;
				    x1=x159;x3=x190;continue;}
				  }else{
				   FREE(x159,1);
				   r=_AStringFormat_34(x1,x2,x3,__ANat_5,x4);}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
  break;}
 return r;}

extern OBJ _AStringFormat_34(register OBJ x1,register OBJ x2,register OBJ x3,register OBJ x4,register OBJ x5) /* FORMATWIDTH */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   HLT("format\'StringFormat: unexpected end of input in width");
  }else{
   CPPRD(x1,2);
   {OBJ x162;OBJ x163;OBJ x164;
    ANat_76(x4,__ANat_5,x162);
    x163=_AString_4(x1);
    x164=_AString_5(x1);
    {OBJ x165=FLD1(x3,1);OBJ x166=FLD1(x3,2);OBJ x167=FLD1(x3,3);OBJ x168=FLD1(x3,4);OBJ x169=FLD1(x3,5);OBJ x172=FLD1(x3,8);OBJ x173=FLD1(x3,9);
     if(ISTGPRM(x162,1)){
      {OBJ x174;
       AChar_15(x164,__APrintableChar_27,x174);
       if(ISTGPRM(x174,1)){
	if(EXPRD(x1,1)){
	 DSPRD(x1);
	}else{
	 DCPRD(x1,1);}
	if(EXPRD(x3,1)){
	 DSPRDF(x3);
	}else{
	 DCPRD(x3,1);}
	COPY(x2,1);
	{TUP2 x176;
	 x176=_AStringFormat_51(x2);
	 if(ISTGPRM(x176.c1,1)){
	  {OBJ x180;OBJ x181;
	   if(ISPRM(x2)){
	    HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
	   }else{
	    {OBJ x179=FLD1(x2,2);
	     if(EXPRD(x2,1)){
	      x180=x179;
	      FRPRD(FLD1(x2,1),1);DSPRDF(x2);
	     }else{
	      COPY(x179,1);
	      x180=x179;
	      FRPRD(x2,1);}}}
	   PRD1F(9,x181);FLD1(x181,1)=x165;FLD1(x181,2)=x166;FLD1(x181,3)=x167;FLD1(x181,4)=x168;FLD1(x181,5)=x169;FLD1(x181,6)=__ABUILTIN_5;FLD1(x181,7)=x176.c2;FLD1(x181,8)=x172;FLD1(x181,9)=x173;
	   r=_AStringFormat_36(x163,x180,x181,x5);}
	 }else{
	  HLT("format\'StringFormat: nat expected by * in width");}}
       }else{
	{OBJ x182;
	 AChar_15(x164,__APrintableChar_12,x182);
	 if(ISTGPRM(x182,1)){
	  if(EXPRD(x1,1)){
	   DSPRD(x1);
	  }else{
	   DCPRD(x1,1);}
	  if(EXPRD(x3,1)){
	   DSPRDF(x3);
	  }else{
	   DCPRD(x3,1);}
	  {OBJ x183;
	   PRD1F(9,x183);FLD1(x183,1)=x165;FLD1(x183,2)=x166;FLD1(x183,3)=x167;FLD1(x183,4)=x168;FLD1(x183,5)=x169;FLD1(x183,6)=__ABUILTIN_5;FLD1(x183,7)=__ANat_5;FLD1(x183,8)=x172;FLD1(x183,9)=x173;
	   r=_AStringFormat_36(x163,x2,x183,x5);}
	 }else{
	  {OBJ x184;
	   x184=_AStringFormat_35(x164);
	   if(ISTGPRM(x184,1)){
	    if(EXPRD(x1,1)){
	     DSPRD(x1);
	    }else{
	     DCPRD(x1,1);}
	    {OBJ x185;OBJ x186;OBJ x187;
	     ANat_63(__ANat_17,x4,x185);
	     ACharConv_3(x164,x186);
	     ANat_61(x185,x186,x187);
	     x1=x163;x4=x187;continue;}
	   }else{
	    FREE(x163,1);
	    r=_AStringFormat_36(x1,x2,x3,x5);}}}}}}
     }else{
      {OBJ x188;
       AChar_25(x164,x188);
       if(ISTGPRM(x188,1)){
	if(EXPRD(x1,1)){
	 DSPRD(x1);
	}else{
	 DCPRD(x1,1);}
	{OBJ x189;OBJ x190;OBJ x191;
	 ANat_63(__ANat_17,x4,x189);
	 ACharConv_3(x164,x190);
	 ANat_61(x189,x190,x191);
	 x1=x163;x4=x191;continue;}
       }else{
	if(EXPRD(x3,1)){
	 DSPRDF(x3);
	}else{
	 DCPRD(x3,1);}
	FREE(x163,1);
	{OBJ x192;
	 PRD1F(9,x192);FLD1(x192,1)=x165;FLD1(x192,2)=x166;FLD1(x192,3)=x167;FLD1(x192,4)=x168;FLD1(x192,5)=x169;FLD1(x192,6)=__ABUILTIN_5;FLD1(x192,7)=x4;FLD1(x192,8)=x172;FLD1(x192,9)=x173;
	 r=_AStringFormat_36(x1,x2,x192,x5);}}}}}}}
  break;}
 return r;}

extern OBJ _AStringFormat_35(OBJ x1) /* nzdigit? */
{OBJ r;
 {OBJ x2;
  AChar_16(x1,__APrintableChar_13,x2);
  if(ISTGPRM(x2,1)){
   AChar_14(x1,__APrintableChar_21,r);
  }else{
   r=__ABUILTIN_3;}}
 return r;}

extern OBJ _AStringFormat_36(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATPREC */
{OBJ r;
 if(ISPRM(x1)){
  FREE(x2,1);
  FRPRD(x3,1);
  FREE(x4,1);
  r=__AString_6;
 }else{
  CPPRD(x1,1);
  {OBJ x20;OBJ x21;OBJ x22;
   x20=_AString_4(x1);
   x21=_AString_5(x1);
   AChar_15(x21,__APrintableChar_8,x22);
   if(ISTGPRM(x22,1)){
    r=_AStringFormat_37(x20,x2,x3,__ANat_5,x4);
   }else{
    {OBJ x23;
     x23=_AString_2(x21,x20);
     r=_AStringFormat_38(x23,x2,x3,x4);}}}}
 return r;}

extern OBJ _AStringFormat_37(register OBJ x1,register OBJ x2,register OBJ x3,register OBJ x4,register OBJ x5) /* FORMATPRECWIDTH */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   HLT("format\'StringFormat: unexpected end of input in precision");
  }else{
   CPPRD(x1,2);
   {OBJ x162;OBJ x163;OBJ x164;
    ANat_76(x4,__ANat_5,x162);
    x163=_AString_4(x1);
    x164=_AString_5(x1);
    {OBJ x165=FLD1(x3,1);OBJ x166=FLD1(x3,2);OBJ x167=FLD1(x3,3);OBJ x168=FLD1(x3,4);OBJ x169=FLD1(x3,5);OBJ x170=FLD1(x3,6);OBJ x171=FLD1(x3,7);
     if(ISTGPRM(x162,1)){
      {OBJ x174;
       AChar_15(x164,__APrintableChar_27,x174);
       if(ISTGPRM(x174,1)){
	if(EXPRD(x1,1)){
	 DSPRD(x1);
	}else{
	 DCPRD(x1,1);}
	if(EXPRD(x3,1)){
	 DSPRDF(x3);
	}else{
	 DCPRD(x3,1);}
	COPY(x2,1);
	{TUP2 x176;
	 x176=_AStringFormat_51(x2);
	 if(ISTGPRM(x176.c1,1)){
	  {OBJ x180;OBJ x181;
	   if(ISPRM(x2)){
	    HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
	   }else{
	    {OBJ x179=FLD1(x2,2);
	     if(EXPRD(x2,1)){
	      x180=x179;
	      FRPRD(FLD1(x2,1),1);DSPRDF(x2);
	     }else{
	      COPY(x179,1);
	      x180=x179;
	      FRPRD(x2,1);}}}
	   PRD1F(9,x181);FLD1(x181,1)=x165;FLD1(x181,2)=x166;FLD1(x181,3)=x167;FLD1(x181,4)=x168;FLD1(x181,5)=x169;FLD1(x181,6)=x170;FLD1(x181,7)=x171;FLD1(x181,8)=__ABUILTIN_5;FLD1(x181,9)=x176.c2;
	   r=_AStringFormat_38(x163,x180,x181,x5);}
	 }else{
	  HLT("format\'StringFormat: nat expected by * in precision");}}
       }else{
	{OBJ x182;
	 AChar_15(x164,__APrintableChar_12,x182);
	 if(ISTGPRM(x182,1)){
	  if(EXPRD(x1,1)){
	   DSPRD(x1);
	  }else{
	   DCPRD(x1,1);}
	  if(EXPRD(x3,1)){
	   DSPRDF(x3);
	  }else{
	   DCPRD(x3,1);}
	  {OBJ x183;
	   PRD1F(9,x183);FLD1(x183,1)=x165;FLD1(x183,2)=x166;FLD1(x183,3)=x167;FLD1(x183,4)=x168;FLD1(x183,5)=x169;FLD1(x183,6)=x170;FLD1(x183,7)=x171;FLD1(x183,8)=__ABUILTIN_5;FLD1(x183,9)=__ANat_5;
	   r=_AStringFormat_38(x163,x2,x183,x5);}
	 }else{
	  {OBJ x184;
	   x184=_AStringFormat_35(x164);
	   if(ISTGPRM(x184,1)){
	    if(EXPRD(x1,1)){
	     DSPRD(x1);
	    }else{
	     DCPRD(x1,1);}
	    {OBJ x185;OBJ x186;OBJ x187;
	     ANat_63(__ANat_17,x4,x185);
	     ACharConv_3(x164,x186);
	     ANat_61(x185,x186,x187);
	     x1=x163;x4=x187;continue;}
	   }else{
	    FREE(x163,1);
	    r=_AStringFormat_38(x1,x2,x3,x5);}}}}}}
     }else{
      {OBJ x188;
       AChar_25(x164,x188);
       if(ISTGPRM(x188,1)){
	if(EXPRD(x1,1)){
	 DSPRD(x1);
	}else{
	 DCPRD(x1,1);}
	{OBJ x189;OBJ x190;OBJ x191;
	 ANat_63(__ANat_17,x4,x189);
	 ACharConv_3(x164,x190);
	 ANat_61(x189,x190,x191);
	 x1=x163;x4=x191;continue;}
       }else{
	if(EXPRD(x3,1)){
	 DSPRDF(x3);
	}else{
	 DCPRD(x3,1);}
	FREE(x163,1);
	{OBJ x192;
	 PRD1F(9,x192);FLD1(x192,1)=x165;FLD1(x192,2)=x166;FLD1(x192,3)=x167;FLD1(x192,4)=x168;FLD1(x192,5)=x169;FLD1(x192,6)=x170;FLD1(x192,7)=x171;FLD1(x192,8)=__ABUILTIN_5;FLD1(x192,9)=x4;
	 r=_AStringFormat_38(x1,x2,x192,x5);}}}}}}}
  break;}
 return r;}

extern OBJ _AStringFormat_38(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATTYPE */
{OBJ r;
 if(ISPRM(x1)){
  HLT("format\'StringFormat: no data type designator");
 }else{
  CPPRD(x1,1);
  {OBJ x27;OBJ x28;OBJ x29;
   x27=_AString_4(x1);
   x28=_AString_5(x1);
   AChar_15(x28,__APrintableChar_82,x29);
   if(ISTGPRM(x29,1)){
    r=_AStringFormat_39(x27,x2,x3,x4);
   }else{
    {OBJ x30;
     AChar_15(x28,__APrintableChar_77,x30);
     if(ISTGPRM(x30,1)){
      r=_AStringFormat_40(x27,x2,x3,x4);
     }else{
      {OBJ x31;
       AChar_15(x28,__APrintableChar_86,x31);
       if(ISTGPRM(x31,1)){
	r=_AStringFormat_41(x27,x2,x3,x4);
       }else{
	{OBJ x32;
	 AChar_15(x28,__APrintableChar_60,x32);
	 if(ISTGPRM(x32,1)){
	  r=_AStringFormat_42(x27,x2,x3,x4);
	 }else{
	  {OBJ x33;
	   AChar_15(x28,__APrintableChar_73,x33);
	   if(ISTGPRM(x33,1)){
	    r=_AStringFormat_44(x27,x2,x3,x4);
	   }else{
	    {OBJ x34;
	     AChar_15(x28,__APrintableChar_87,x34);
	     if(ISTGPRM(x34,1)){
	      r=_AStringFormat_47(x27,x2,x3,x4);
	     }else{
	      {OBJ x35;
	       AChar_15(x28,__APrintableChar_71,x35);
	       if(ISTGPRM(x35,1)){
		r=_AStringFormat_48(x27,x2,x3,x4);
	       }else{
		{OBJ x36;
		 AChar_15(x28,__APrintableChar_70,x36);
		 if(ISTGPRM(x36,1)){
		  r=_AStringFormat_49(x27,x2,x3,x4);
		 }else{
		  {OBJ x37;
		   AChar_15(x28,__APrintableChar_72,x37);
		   if(ISTGPRM(x37,1)){
		    r=_AStringFormat_50(x27,x2,x3,x4);
		   }else{
		    HLT("format\'StringFormat: unknown data type designator");}}}}}}}}}}}}}}}}}}}
 return r;}

extern OBJ _AStringFormat_39(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATNAT */
{OBJ r;
 {OBJ x142=FLD1(x3,1);OBJ x143=FLD1(x3,2);OBJ x145=FLD1(x3,4);OBJ x147=FLD1(x3,6);OBJ x148=FLD1(x3,7);OBJ x149=FLD1(x3,8);OBJ x150=FLD1(x3,9);
  if(EXPRD(x3,1)){
   DSPRDF(x3);
  }else{
   FRPRD(x3,1);}
  COPY(x2,1);
  {TUP2 x151;
   x151=_AStringFormat_51(x2);
   if(ISTGPRM(x151.c1,1)){
    {OBJ x156;OBJ x153;OBJ x158;OBJ x157;OBJ x161;OBJ x159;OBJ x162;OBJ x163;OBJ x164;OBJ x166;OBJ x167;OBJ x168;
     if(ISPRM(x2)){
      HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
     }else{
      {OBJ x155=FLD1(x2,2);
       if(EXPRD(x2,1)){
	x156=x155;
	FRPRD(FLD1(x2,1),1);DSPRDF(x2);
       }else{
	COPY(x155,1);
	x156=x155;
	FRPRD(x2,1);}}}
     ANatConv_1(x151.c2,x153);
     if(ISTGPRM(x143,1)){
      x158=__ANat_8;
     }else{
      x158=__ANat_5;}
     x157=_AString_49(x153);
     if(ISTGPRM(x145,1)){
      if(ISTGPRM(x142,1)){
       x161=__ABUILTIN_3;
      }else{
       x161=__ABUILTIN_5;}
     }else{
      x161=__ABUILTIN_3;}
     x159=_AStringFormat_58(x157,x149,x150);
     if(ISTGPRM(x161,1)){
      x162=__APrintableChar_12;
     }else{
      x162=__AChar_8;}
     {TUP2 t=_AStringFormat_64(x147,x148,x158);
      x163=t.c1;
      x164=t.c2;}
     x166=_AStringFormat_59(x159,x142,x162,x163,x164);
     if(ISTGPRM(x143,1)){
      x167=_AString_2(__APrintableChar_28,x166);
     }else{
      x167=x166;}
     x168=_AString_24(x4,x167);
     r=_AStringFormat_31(x1,x156,x168);}
   }else{
    HLT("format\'StringFormat: nat expected");}}}
 return r;}

extern OBJ _AStringFormat_40(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATINT */
{OBJ r;
 {OBJ x150=FLD1(x3,1);OBJ x151=FLD1(x3,2);OBJ x152=FLD1(x3,3);OBJ x153=FLD1(x3,4);OBJ x155=FLD1(x3,6);OBJ x156=FLD1(x3,7);OBJ x157=FLD1(x3,8);OBJ x158=FLD1(x3,9);
  if(EXPRD(x3,1)){
   DSPRDF(x3);
  }else{
   FRPRD(x3,1);}
  COPY(x2,1);
  {TUP2 x159;
   x159=_AStringFormat_52(x2);
   if(ISTGPRM(x159.c1,1)){
    {OBJ x165;OBJ x161;OBJ x162;OBJ x167;OBJ x166;OBJ x170;OBJ x169;OBJ x168;OBJ x173;OBJ x172;OBJ x171;OBJ x175;OBJ x176;OBJ x178;OBJ x179;OBJ x180;
     if(ISPRM(x2)){
      HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
     }else{
      {OBJ x164=FLD1(x2,2);
       if(EXPRD(x2,1)){
	x165=x164;
	FRPRD(FLD1(x2,1),1);DSPRDF(x2);
       }else{
	COPY(x164,1);
	x165=x164;
	FRPRD(x2,1);}}}
     AInt_83(x159.c2,__AInt_2,x161);
     AInt_73(x159.c2,x162);
     if(ISTGPRM(x150,1)){
      x167=__ABUILTIN_3;
     }else{
      x167=__ABUILTIN_5;}
     AIntConv_1(x162,x166);
     if(ISTGPRM(x167,1)){
      x170=x153;
     }else{
      x170=__ABUILTIN_3;}
     if(ISTGPRM(x151,1)){
      x169=__ABUILTIN_5;
     }else{
      if(ISTGPRM(x152,1)){
       x169=__ABUILTIN_5;
      }else{
       x169=x161;}}
     x168=_AString_49(x166);
     if(ISTGPRM(x170,1)){
      x173=__APrintableChar_12;
     }else{
      x173=__AChar_8;}
     if(ISTGPRM(x169,1)){
      x172=__ANat_8;
     }else{
      x172=__ANat_5;}
     x171=_AStringFormat_58(x168,x157,x158);
     {TUP2 t=_AStringFormat_64(x155,x156,x172);
      x175=t.c1;
      x176=t.c2;}
     x178=_AStringFormat_59(x171,x150,x173,x175,x176);
     if(ISTGPRM(x161,1)){
      x179=_AString_2(__APrintableChar_29,x178);
     }else{
      if(ISTGPRM(x151,1)){
       x179=_AString_2(__APrintableChar_28,x178);
      }else{
       if(ISTGPRM(x152,1)){
	x179=_AString_2(__AChar_8,x178);
       }else{
	x179=x178;}}}
     x180=_AString_24(x4,x179);
     r=_AStringFormat_31(x1,x165,x180);}
   }else{
    HLT("format\'Conversion: int expected");}}}
 return r;}

extern OBJ _AStringFormat_41(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATREAL1 */
{OBJ r;
 COPY(x2,1);
 {TUP2 x6;
  x6=_AStringFormat_53(x2);
  if(ISTGPRM(x6.c1,1)){
   CPPRD(__AReal_2,1);
   {OBJ x15;OBJ x16;
    AReal_66(x6.c2,x15);
    CPPRD(x15,1);
    AReal_92(x15,__AReal_2,x16);
    if(ISTGPRM(x16,1)){
     FRPRD(x15,1);
     r=_AStringFormat_42(x1,x2,x3,x4);
    }else{
     CPPRD(x15,1);
     CPCLS(__AStringFormat_95,1);
     {OBJ x17;OBJ x18;
      x17=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_95,1))(__AStringFormat_95,__ABUILTIN_20);
      AReal_95(x15,x17,x18);
      if(ISTGPRM(x18,1)){
       FRPRD(x15,1);
       r=_AStringFormat_44(x1,x2,x3,x4);
      }else{
       {OBJ x19;OBJ x20;
	x19=inline_c_real((double)(0.0001));
	AReal_94(x15,x19,x20);
	if(ISTGPRM(x20,1)){
	 r=_AStringFormat_44(x1,x2,x3,x4);
	}else{
	 r=_AStringFormat_42(x1,x2,x3,x4);}}}}}}
  }else{
   HLT("format\'StringFormat: real expected");}}
 return r;}

extern OBJ _AStringFormat_42(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATREAL2 */
{OBJ r;
 {OBJ x155=FLD1(x3,1);OBJ x156=FLD1(x3,2);OBJ x157=FLD1(x3,3);OBJ x158=FLD1(x3,4);OBJ x159=FLD1(x3,5);OBJ x160=FLD1(x3,6);OBJ x161=FLD1(x3,7);OBJ x162=FLD1(x3,8);OBJ x163=FLD1(x3,9);
  if(EXPRD(x3,1)){
   DSPRDF(x3);
  }else{
   FRPRD(x3,1);}
  COPY(x2,1);
  {TUP2 x164;
   x164=_AStringFormat_53(x2);
   if(ISTGPRM(x164.c1,1)){
    {OBJ x169;OBJ x166;OBJ x170;OBJ x171;OBJ x172;OBJ x173;OBJ x177;OBJ x178;OBJ x181;OBJ x182;OBJ x183;OBJ x184;OBJ x185;OBJ x187;OBJ x188;
     if(ISPRM(x2)){
      HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
     }else{
      {OBJ x168=FLD1(x2,2);
       if(EXPRD(x2,1)){
	x169=x168;
	FRPRD(FLD1(x2,1),1);DSPRDF(x2);
       }else{
	COPY(x168,1);
	x169=x168;
	FRPRD(x2,1);}
       CPPRD(x164.c2,1);
       CPPRD(__AReal_2,1);}}
     AReal_94(x164.c2,__AReal_2,x166);
     if(ISTGPRM(x162,1)){
      x170=__ABUILTIN_3;
     }else{
      x170=__ABUILTIN_5;}
     if(ISTGPRM(x170,1)){
      x171=__ANat_13;
     }else{
      x171=x163;}
     ARealConv_4(x164.c2,x171,x172);
     x173=_AString_49(x172);
     if(ISTGPRM(x166,1)){
      x177=x173;
      x178=__ANat_8;
     }else{
      if(ISTGPRM(x156,1)){
       x177=_AString_2(__APrintableChar_28,x173);
       x178=__ANat_8;
      }else{
       if(ISTGPRM(x157,1)){
	x177=_AString_2(__AChar_8,x173);
	x178=__ANat_8;
       }else{
	x177=x173;
	x178=__ANat_5;}}}
     if(ISTGPRM(x159,1)){
      COPY(x177,1);
      CPCLS(__AStringFormat_94,1);
      {OBJ x180;
       x180=_AString_40(__AStringFormat_94,x177);
       if(ISTGPRM(x180,1)){
	x181=__ABUILTIN_3;
       }else{
	x181=__ABUILTIN_5;}}
     }else{
      x181=__ABUILTIN_3;}
     if(ISTGPRM(x181,1)){
      x182=_AString_21(x177,__APrintableChar_8);
     }else{
      x182=x177;}
     if(ISTGPRM(x158,1)){
      x183=_AStringFormat_43(x182,x171);
     }else{
      x183=x182;}
     {TUP2 t=_AStringFormat_64(x160,x161,x178);
      x184=t.c1;
      x185=t.c2;}
     x187=_AStringFormat_59(x183,x155,__AChar_8,x184,x185);
     x188=_AString_24(x4,x187);
     r=_AStringFormat_31(x1,x169,x188);}
   }else{
    HLT("format\'StringFormat: real expected");}}}
 return r;}

extern OBJ _AStringFormat_43(OBJ x1,OBJ x2) /* addzeros */
{OBJ r;
 CPCLS(__AStringFormat_69,1);
 COPY(__AString_8,1);
 COPY(x1,1);
 {OBJ x3;OBJ x4;OBJ x9;OBJ x10;OBJ x11;
  x3=_AStringFilter_4(__AStringFormat_69,x1);
  COPY(x3,1);
  x4=_AString_47(x3,__AString_8);
  if(ISTGPRM(x4,1)){
   FREE(x3,1);
   COPY(x1,1);
   x10=_AString_21(x1,__APrintableChar_8);
   x9=__ANat_5;
  }else{
   COPY(x1,1);
   {OBJ x6;
    x6=_AString_39(x3);
    ANat_4(x6,x9);
    x10=x1;}}
  ANat_78(x2,x9,x11);
  if(ISTGPRM(x11,1)){
   FREE(x10,1);
   r=x1;
  }else{
   FREE(x1,1);
   {OBJ x12;OBJ x13;
    ANat_62(x2,x9,x12);
    x13=_AString_50(x12,__APrintableChar_12);
    r=_AString_24(x10,x13);}}}
 return r;}

extern OBJ _AStringFormat_44(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATREAL3 */
{OBJ r;
 {OBJ x181=FLD1(x3,1);OBJ x182=FLD1(x3,2);OBJ x183=FLD1(x3,3);OBJ x184=FLD1(x3,4);OBJ x185=FLD1(x3,5);OBJ x186=FLD1(x3,6);OBJ x187=FLD1(x3,7);OBJ x188=FLD1(x3,8);OBJ x189=FLD1(x3,9);
  if(EXPRD(x3,1)){
   DSPRDF(x3);
  }else{
   FRPRD(x3,1);}
  COPY(x2,1);
  {TUP2 x190;
   x190=_AStringFormat_53(x2);
   if(ISTGPRM(x190.c1,1)){
    {OBJ x196;OBJ x192;OBJ x193;OBJ x199;OBJ x198;OBJ x200;OBJ x201;OBJ x202;OBJ x204;OBJ x205;OBJ x206;OBJ x207;OBJ x208;OBJ x209;OBJ x210;OBJ x212;OBJ x213;OBJ x214;OBJ x216;OBJ x215;OBJ x218;OBJ x217;OBJ x219;OBJ x220;OBJ x221;OBJ x222;OBJ x223;OBJ x224;OBJ x226;OBJ x227;
     if(ISPRM(x2)){
      HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
     }else{
      {OBJ x195=FLD1(x2,2);
       if(EXPRD(x2,1)){
	x196=x195;
	FRPRD(FLD1(x2,1),1);DSPRDF(x2);
       }else{
	COPY(x195,1);
	x196=x195;
	FRPRD(x2,1);}
       CPPRD(x190.c2,1);
       CPPRD(__AReal_2,1);}}
     AReal_66(x190.c2,x192);
     AReal_94(x190.c2,__AReal_2,x193);
     if(ISTGPRM(x188,1)){
      x199=__ABUILTIN_3;
     }else{
      x199=__ABUILTIN_5;}
     if(ISTGPRM(x184,1)){
      x198=__ABUILTIN_3;
     }else{
      x198=__ABUILTIN_5;}
     if(ISTGPRM(x199,1)){
      x200=__ANat_13;
     }else{
      x200=x189;}
     if(ISTGPRM(x193,1)){
      CPCLS(__AStringFormat_87,1);
      x201=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_87,1))(__AStringFormat_87,__ABUILTIN_20);
     }else{
      if(ISTGPRM(x182,1)){
       CPCLS(__AStringFormat_89,1);
       x201=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_89,1))(__AStringFormat_89,__ABUILTIN_20);
      }else{
       if(ISTGPRM(x183,1)){
	CPCLS(__AStringFormat_91,1);
	x201=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_91,1))(__AStringFormat_91,__ABUILTIN_20);
       }else{
	COPY(__AString_8,1);
	x201=__AString_8;}}}
     COPY(x201,1);
     x202=_AString_39(x201);
     {TUP2 t=_AStringFormat_68(x192,__AInt_2);
      x204=t.c1;
      x205=t.c2;}
     CPPRD(x204,1);
     AIntConv_1(x205,x206);
     AReal_74(x204,x207);
     CPPRD(x207,1);
     x208=_AString_49(x206);
     AReal_60(x204,x207,x209);
     x210=_AString_2(__APrintableChar_73,x208);
     {TUP2 t=_AStringFormat_46(x209,x200,x198);
      x212=t.c1;
      x213=t.c2;}
     if(ISTGPRM(x213,1)){
      CPPRD(__AReal_3,1);
      x214=__AReal_3;
     }else{
      CPPRD(__AReal_2,1);
      x214=__AReal_2;}
     if(ISTGPRM(x185,1)){
      x216=__ABUILTIN_5;
     }else{
      COPY(x212,1);
      COPY(__AString_8,1);
      x216=_AString_48(x212,__AString_8);}
     AReal_59(x207,x214,x215);
     if(ISTGPRM(x216,1)){
      CPCLS(__AStringFormat_93,1);
      x218=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_93,1))(__AStringFormat_93,__ABUILTIN_20);
     }else{
      COPY(__AString_8,1);
      x218=__AString_8;}
     x217=_AStringFormat_45(x215,__ABUILTIN_5);
     x219=_AString_24(x218,x212);
     x220=_AString_24(x201,x217);
     x221=_AString_24(x220,x219);
     x222=_AString_24(x221,x210);
     {TUP2 t=_AStringFormat_64(x186,x187,x202);
      x223=t.c1;
      x224=t.c2;}
     x226=_AStringFormat_59(x222,x181,__AChar_8,x223,x224);
     x227=_AString_24(x4,x226);
     r=_AStringFormat_31(x1,x196,x227);}
   }else{
    HLT("format\'StringFormat: real expected");}}}
 return r;}

extern OBJ _AStringFormat_45(OBJ x1,OBJ x2) /* RzuString */
{OBJ r;
 CPPRD(__AReal_2,1);
 CPPRD(x1,1);
 {OBJ x3;
  AReal_91(x1,__AReal_2,x3);
  if(ISTGPRM(x3,1)){
   FRPRD(x1,1);
   if(ISTGPRM(x2,1)){
    CPCLS(__AStringFormat_71,1);
    r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_71,1))(__AStringFormat_71,__ABUILTIN_20);
   }else{
    COPY(__AString_8,1);
    r=__AString_8;}
  }else{
   CPPRD(x1,1);
   CPPRD(__AReal_12,2);
   {OBJ x4;OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;
    AReal_62(x1,__AReal_12,x4);
    AReal_74(x4,x5);
    CPPRD(x5,1);
    AReal_61(__AReal_12,x5,x6);
    x7=_AStringFormat_45(x5,__ABUILTIN_3);
    AReal_60(x1,x6,x8);
    ARealConv_5(x8,x9);
    ANatConv_1(x9,x10);
    x11=_AString_49(x10);
    r=_AString_24(x7,x11);}}}
 return r;}

extern TUP2 _AStringFormat_46(OBJ x1,OBJ x2,OBJ x3) /* prec */
{TUP2 r;
 {OBJ x4;
  ANat_76(x2,__ANat_5,x4);
  if(ISTGPRM(x4,1)){
   CPCLS(__AStringFormat_72,1);
   {OBJ x5;OBJ x6;
    x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_72,1))(__AStringFormat_72,__ABUILTIN_20);
    AReal_94(x1,x5,x6);
    if(ISTGPRM(x6,1)){
     COPY(__AString_8,1);
     r.c1=__AString_8;r.c2=__ABUILTIN_3;
    }else{
     COPY(__AString_8,1);
     r.c1=__AString_8;r.c2=__ABUILTIN_5;}}
  }else{
   CPPRD(__AReal_12,1);
   {OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;TUP2 x14;OBJ x16;OBJ x18;OBJ x19;OBJ x20;
    AReal_61(__AReal_12,x1,x7);
    CPPRD(x7,2);
    ANat_4(x2,x8);
    AReal_74(x7,x9);
    ARealConv_5(x7,x10);
    AReal_60(x7,x9,x11);
    ANat_76(x10,__ANat_5,x12);
    x14=_AStringFormat_46(x11,x8,x3);
    if(ISTGPRM(x14.c2,1)){
     ANat_2(x10,x16);
    }else{
     x16=x10;}
    if(ISTGPRM(x12,1)){
     COPY(x14.c1,1);
     COPY(__AString_8,1);
     {OBJ x17;
      x17=_AString_47(x14.c1,__AString_8);
      if(ISTGPRM(x17,1)){
       x18=x3;
      }else{
       x18=__ABUILTIN_3;}}
    }else{
     x18=__ABUILTIN_3;}
    ANat_76(x16,__ANat_17,x19);
    if(ISTGPRM(x19,1)){
     x20=__ANat_5;
    }else{
     x20=x16;}
    if(ISTGPRM(x18,1)){
     FREE(x14.c1,1);
     COPY(__AString_8,1);
     r.c1=__AString_8;r.c2=__ABUILTIN_3;
    }else{
     r.c2=x19;
     {OBJ x21;OBJ x22;
      ANatConv_1(x20,x21);
      x22=_AString_49(x21);
      r.c1=_AString_24(x22,x14.c1);}}}}}
 return r;}
extern OBJ _AStringFormat_46_c(OBJ x1,OBJ x2,OBJ x3) /* prec */
{OBJ r;
 {TUP2 t=_AStringFormat_46(x1,x2,x3);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern OBJ _AStringFormat_47(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATSTRING */
{OBJ r;
 {OBJ x123=FLD1(x3,1);OBJ x128=FLD1(x3,6);OBJ x129=FLD1(x3,7);OBJ x130=FLD1(x3,8);OBJ x131=FLD1(x3,9);
  if(EXPRD(x3,1)){
   DSPRDF(x3);
  }else{
   FRPRD(x3,1);}
  COPY(x2,1);
  {TUP2 x132;
   x132=_AStringFormat_54(x2);
   if(ISTGPRM(x132.c1,1)){
    {OBJ x136;OBJ x137;OBJ x143;OBJ x144;OBJ x145;
     if(ISPRM(x2)){
      HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
     }else{
      {OBJ x135=FLD1(x2,2);
       if(EXPRD(x2,1)){
	x136=x135;
	FRPRD(FLD1(x2,1),1);DSPRDF(x2);
       }else{
	COPY(x135,1);
	x136=x135;
	FRPRD(x2,1);}}}
     if(ISTGPRM(x130,1)){
      x137=__ABUILTIN_3;
     }else{
      x137=__ABUILTIN_5;}
     if(ISTGPRM(x137,1)){
      x143=x132.c2;
     }else{
      {OBJ x138;
       ANat_76(x131,__ANat_5,x138);
       if(ISTGPRM(x138,1)){
	FREE(x132.c2,1);
	COPY(__AString_8,1);
	x143=__AString_8;
       }else{
	COPY(x132.c2,1);
	{OBJ x139;OBJ x140;OBJ x141;OBJ x142;
	 x139=_AString_39(x132.c2);
	 ANat_62(x131,__ANat_8,x140);
	 ANat_62(x139,__ANat_8,x141);
	 ANat_72(x140,x141,x142);
	 x143=_AStringIndex_3(x132.c2,__ANat_5,x142);}}}}
     x144=_AStringFormat_59(x143,x123,__AChar_8,x128,x129);
     x145=_AString_24(x4,x144);
     r=_AStringFormat_31(x1,x136,x145);}
   }else{
    HLT("format\'StringFormat: string or denotation expected");}}}
 return r;}

extern OBJ _AStringFormat_48(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATCHAR */
{OBJ r;
 COPY(x2,1);
 {TUP2 x6;
  x6=_AStringFormat_55(x2);
  if(ISTGPRM(x6.c1,1)){
   {OBJ x18;OBJ x15;OBJ x19;OBJ x20;
    if(ISPRM(x2)){
     HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
    }else{
     {OBJ x17=FLD1(x2,2);
      if(EXPRD(x2,1)){
       x18=x17;
       FRPRD(FLD1(x2,1),1);DSPRDF(x2);
      }else{
       COPY(x17,1);
       x18=x17;
       FRPRD(x2,1);}}}
    x15=_AString_12(x6.c2);
    PRD(1,4,x19);FLD(x19,1)=x15;
    PRD1(2,x20);FLD1(x20,1)=x19;FLD1(x20,2)=x18;
    r=_AStringFormat_47(x1,x20,x3,x4);}
  }else{
   HLT("format\'StringFormat: char expected");}}
 return r;}

extern OBJ _AStringFormat_49(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATBOOL */
{OBJ r;
 COPY(x2,1);
 {TUP2 x6;
  x6=_AStringFormat_56(x2);
  if(ISTGPRM(x6.c1,1)){
   {OBJ x194;OBJ x204;OBJ x256;OBJ x257;OBJ x258;
    if(ISPRM(x2)){
     HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
    }else{
     {OBJ x193=FLD1(x2,2);
      if(EXPRD(x2,1)){
       x194=x193;
       FRPRD(FLD1(x2,1),1);DSPRDF(x2);
      }else{
       COPY(x193,1);
       x194=x193;
       FRPRD(x2,1);}}}
    if(ISTGPRM(x6.c2,1)){
     {OBJ x198=FLD1(x3,4);
      x204=x198;}
    }else{
     x204=__ABUILTIN_3;}
    if(ISTGPRM(x204,1)){
     CPCLS(__AStringFormat_76,1);
     x256=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_76,1))(__AStringFormat_76,__ABUILTIN_20);
    }else{
     {OBJ x205;OBJ x215;
      if(ISTGPRM(x6.c2,1)){
       x205=__ABUILTIN_3;
      }else{
       x205=__ABUILTIN_5;}
      if(ISTGPRM(x205,1)){
       {OBJ x209=FLD1(x3,4);
	x215=x209;}
      }else{
       x215=__ABUILTIN_3;}
      if(ISTGPRM(x215,1)){
       CPCLS(__AStringFormat_77,1);
       x256=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_77,1))(__AStringFormat_77,__ABUILTIN_20);
      }else{
       {OBJ x225;
	if(ISTGPRM(x6.c2,1)){
	 {OBJ x220=FLD1(x3,5);
	  x225=x220;}
	}else{
	 x225=__ABUILTIN_3;}
	if(ISTGPRM(x225,1)){
	 CPCLS(__AStringFormat_79,1);
	 x256=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_79,1))(__AStringFormat_79,__ABUILTIN_20);
	}else{
	 {OBJ x235;
	  if(ISTGPRM(x6.c2,1)){
	   {OBJ x230=FLD1(x3,5);
	    if(ISTGPRM(x230,1)){
	     x235=__ABUILTIN_3;
	    }else{
	     x235=__ABUILTIN_5;}}
	  }else{
	   x235=__ABUILTIN_3;}
	  if(ISTGPRM(x235,1)){
	   CPCLS(__AStringFormat_81,1);
	   x256=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_81,1))(__AStringFormat_81,__ABUILTIN_20);
	  }else{
	   {OBJ x245;
	    if(ISTGPRM(x205,1)){
	     {OBJ x240=FLD1(x3,5);
	      x245=x240;}
	    }else{
	     x245=__ABUILTIN_3;}
	    if(ISTGPRM(x245,1)){
	     CPCLS(__AStringFormat_83,1);
	     x256=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_83,1))(__AStringFormat_83,__ABUILTIN_20);
	    }else{
	     {OBJ x255;
	      if(ISTGPRM(x205,1)){
	       {OBJ x250=FLD1(x3,5);
		if(ISTGPRM(x250,1)){
		 x255=__ABUILTIN_3;
		}else{
		 x255=__ABUILTIN_5;}}
	      }else{
	       x255=__ABUILTIN_3;}
	      if(ISTGPRM(x255,1)){
	       CPCLS(__AStringFormat_85,1);
	       x256=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_85,1))(__AStringFormat_85,__ABUILTIN_20);
	      }else{
	       HLT("FORMATBOOL\'StringFormat: This cannot happen!");}}}}}}}}}}}
    PRD(1,4,x257);FLD(x257,1)=x256;
    PRD1(2,x258);FLD1(x258,1)=x257;FLD1(x258,2)=x194;
    r=_AStringFormat_47(x1,x258,x3,x4);}
  }else{
   HLT("format\'StringFormat: bool expected");}}
 return r;}

extern OBJ _AStringFormat_50(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* FORMATDENOTATION */
{OBJ r;
 COPY(x2,1);
 {TUP2 x6;
  x6=_AStringFormat_57(x2);
  if(ISTGPRM(x6.c1,1)){
   {OBJ x18;OBJ x15;OBJ x19;OBJ x20;
    if(ISPRM(x2)){
     HLT("Seq at <unknown> : undefined selection rt\'Seq:seq->seq");
    }else{
     {OBJ x17=FLD1(x2,2);
      if(EXPRD(x2,1)){
       x18=x17;
       FRPRD(FLD1(x2,1),1);DSPRDF(x2);
      }else{
       COPY(x17,1);
       x18=x17;
       FRPRD(x2,1);}}}
    x15=_AString_49(x6.c2);
    PRD(1,4,x19);FLD(x19,1)=x15;
    PRD1(2,x20);FLD1(x20,1)=x19;FLD1(x20,2)=x18;
    r=_AStringFormat_47(x1,x20,x3,x4);}
  }else{
   HLT("format\'StringFormat: denotation or string expected");}}
 return r;}

extern TUP2 _AStringFormat_51(OBJ x1) /* getnat */
{TUP2 r;
 if(ISPRM(x1)){
  r.c1=__ABUILTIN_3;r.c2=__ANat_5;
 }else{
  {OBJ x16=FLD1(x1,1);
   if(EXPRD(x1,1)){
    FREE(FLD1(x1,2),1);DSPRDF(x1);
   }else{
    CPPRD(x16,1);
    FRPRD(x1,1);}
   if(ISTGPRD(x16,0)){
    {OBJ x18=FLD(x16,1);
     if(EXPRD(x16,1)){
      r.c2=x18;
      DSPRDF(x16);
     }else{
      r.c2=x18;
      FRPRD(x16,1);}
     r.c1=__ABUILTIN_5;}
   }else{
    FRPRD(x16,1);
    r.c1=__ABUILTIN_3;r.c2=__ANat_5;}}}
 return r;}
extern OBJ _AStringFormat_51_c(OBJ x1) /* getnat */
{OBJ r;
 {TUP2 t=_AStringFormat_51(x1);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AStringFormat_52(OBJ x1) /* getint */
{TUP2 r;
 if(ISPRM(x1)){
  r.c1=__ABUILTIN_3;r.c2=__AInt_2;
 }else{
  {OBJ x16=FLD1(x1,1);
   if(EXPRD(x1,1)){
    FREE(FLD1(x1,2),1);DSPRDF(x1);
   }else{
    CPPRD(x16,1);
    FRPRD(x1,1);}
   if(ISTGPRD(x16,1)){
    {OBJ x18=FLD(x16,1);
     if(EXPRD(x16,1)){
      r.c2=x18;
      DSPRDF(x16);
     }else{
      r.c2=x18;
      FRPRD(x16,1);}
     r.c1=__ABUILTIN_5;}
   }else{
    FRPRD(x16,1);
    r.c1=__ABUILTIN_3;r.c2=__AInt_2;}}}
 return r;}
extern OBJ _AStringFormat_52_c(OBJ x1) /* getint */
{OBJ r;
 {TUP2 t=_AStringFormat_52(x1);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AStringFormat_53(OBJ x1) /* getreal */
{TUP2 r;
 if(ISPRM(x1)){
  CPPRD(__AReal_2,1);
  r.c1=__ABUILTIN_3;r.c2=__AReal_2;
 }else{
  {OBJ x16=FLD1(x1,1);
   if(EXPRD(x1,1)){
    FREE(FLD1(x1,2),1);DSPRDF(x1);
   }else{
    CPPRD(x16,1);
    FRPRD(x1,1);}
   if(ISTGPRD(x16,2)){
    {OBJ x18=FLD(x16,1);
     if(EXPRD(x16,1)){
      r.c2=x18;
      DSPRDF(x16);
     }else{
      CPPRD(x18,1);
      r.c2=x18;
      FRPRD(x16,1);}
     r.c1=__ABUILTIN_5;}
   }else{
    FRPRD(x16,1);
    CPPRD(__AReal_2,1);
    r.c1=__ABUILTIN_3;r.c2=__AReal_2;}}}
 return r;}
extern OBJ _AStringFormat_53_c(OBJ x1) /* getreal */
{OBJ r;
 {TUP2 t=_AStringFormat_53(x1);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AStringFormat_54(OBJ x1) /* getstring */
{TUP2 r;
 if(ISPRM(x1)){
  r.c1=__ABUILTIN_3;r.c2=__AString_6;
 }else{
  {OBJ x25=FLD1(x1,1);
   if(EXPRD(x1,1)){
    FREE(FLD1(x1,2),1);DSPRDF(x1);
   }else{
    CPPRD(x25,1);
    FRPRD(x1,1);}
   if(ISTGPRD(x25,4)){
    {OBJ x27=FLD(x25,1);
     if(EXPRD(x25,1)){
      r.c2=x27;
      DSPRDF(x25);
     }else{
      COPY(x27,1);
      r.c2=x27;
      FRPRD(x25,1);}
     r.c1=__ABUILTIN_5;}
   }else{
    if(ISTGPRD(x25,6)){
     {OBJ x28=FLD(x25,1);
      if(EXPRD(x25,1)){
       DSPRDF(x25);
      }else{
       CPPRD(x28,1);
       FRPRD(x25,1);}
      r.c2=_AString_49(x28);
      r.c1=__ABUILTIN_5;}
    }else{
     FRPRD(x25,1);
     r.c1=__ABUILTIN_3;r.c2=__AString_6;}}}}
 return r;}
extern OBJ _AStringFormat_54_c(OBJ x1) /* getstring */
{OBJ r;
 {TUP2 t=_AStringFormat_54(x1);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AStringFormat_55(OBJ x1) /* getchar */
{TUP2 r;
 if(ISPRM(x1)){
  r.c1=__ABUILTIN_3;r.c2=__AChar_2;
 }else{
  {OBJ x16=FLD1(x1,1);
   if(EXPRD(x1,1)){
    FREE(FLD1(x1,2),1);DSPRDF(x1);
   }else{
    CPPRD(x16,1);
    FRPRD(x1,1);}
   if(ISTGPRD(x16,3)){
    {OBJ x18=FLD(x16,1);
     if(EXPRD(x16,1)){
      r.c2=x18;
      DSPRDF(x16);
     }else{
      r.c2=x18;
      FRPRD(x16,1);}
     r.c1=__ABUILTIN_5;}
   }else{
    FRPRD(x16,1);
    r.c1=__ABUILTIN_3;r.c2=__AChar_2;}}}
 return r;}
extern OBJ _AStringFormat_55_c(OBJ x1) /* getchar */
{OBJ r;
 {TUP2 t=_AStringFormat_55(x1);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AStringFormat_56(OBJ x1) /* getbool */
{TUP2 r;
 if(ISPRM(x1)){
  r.c1=__ABUILTIN_3;r.c2=__ABUILTIN_3;
 }else{
  {OBJ x16=FLD1(x1,1);
   if(EXPRD(x1,1)){
    FREE(FLD1(x1,2),1);DSPRDF(x1);
   }else{
    CPPRD(x16,1);
    FRPRD(x1,1);}
   if(ISTGPRD(x16,5)){
    {OBJ x18=FLD(x16,1);
     if(EXPRD(x16,1)){
      r.c2=x18;
      DSPRDF(x16);
     }else{
      r.c2=x18;
      FRPRD(x16,1);}
     r.c1=__ABUILTIN_5;}
   }else{
    FRPRD(x16,1);
    r.c1=__ABUILTIN_3;r.c2=__ABUILTIN_3;}}}
 return r;}
extern OBJ _AStringFormat_56_c(OBJ x1) /* getbool */
{OBJ r;
 {TUP2 t=_AStringFormat_56(x1);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AStringFormat_57(OBJ x1) /* getdeno */
{TUP2 r;
 if(ISPRM(x1)){
  CPPRD(__AStringFormat_73,1);
  r.c1=__ABUILTIN_3;r.c2=__AStringFormat_73;
 }else{
  {OBJ x25=FLD1(x1,1);
   if(EXPRD(x1,1)){
    FREE(FLD1(x1,2),1);DSPRDF(x1);
   }else{
    CPPRD(x25,1);
    FRPRD(x1,1);}
   if(ISTGPRD(x25,6)){
    {OBJ x27=FLD(x25,1);
     if(EXPRD(x25,1)){
      r.c2=x27;
      DSPRDF(x25);
     }else{
      CPPRD(x27,1);
      r.c2=x27;
      FRPRD(x25,1);}
     r.c1=__ABUILTIN_5;}
   }else{
    if(ISTGPRD(x25,4)){
     {OBJ x28=FLD(x25,1);
      if(EXPRD(x25,1)){
       DSPRDF(x25);
      }else{
       COPY(x28,1);
       FRPRD(x25,1);}
      r.c2=_AStringConv_1(x28);
      r.c1=__ABUILTIN_5;}
    }else{
     FRPRD(x25,1);
     CPPRD(__AStringFormat_73,1);
     r.c1=__ABUILTIN_3;r.c2=__AStringFormat_73;}}}}
 return r;}
extern OBJ _AStringFormat_57_c(OBJ x1) /* getdeno */
{OBJ r;
 {TUP2 t=_AStringFormat_57(x1);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern OBJ _AStringFormat_58(OBJ x1,OBJ x2,OBJ x3) /* padzeros */
{OBJ r;
 if(ISTGPRM(x2,1)){
  COPY(x1,1);
  {OBJ x4;OBJ x5;
   x4=_AString_39(x1);
   ANat_80(x4,x3,x5);
   if(ISTGPRM(x5,1)){
    {OBJ x6;OBJ x7;OBJ x8;
     ANat_62(x3,x4,x6);
     ADenotation_1(x6,__APrintableChar_12,x7);
     x8=_AString_49(x7);
     r=_AString_24(x8,x1);}
   }else{
    r=x1;}}
 }else{
  r=x1;}
 return r;}

extern OBJ _AStringFormat_59(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* pad */
{OBJ r;
 if(ISTGPRM(x4,1)){
  COPY(x1,1);
  {OBJ x6;OBJ x7;
   x6=_AString_39(x1);
   ANat_79(x6,x5,x7);
   if(ISTGPRM(x7,1)){
    r=x1;
   }else{
    {OBJ x8;OBJ x9;OBJ x10;
     ANat_62(x5,x6,x8);
     ADenotation_1(x8,x3,x9);
     x10=_AString_49(x9);
     if(ISTGPRM(x2,1)){
      r=_AString_24(x1,x10);
     }else{
      r=_AString_24(x10,x1);}}}}
 }else{
  r=x1;}
 return r;}

extern OBJ _AStringFormat_60(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* scanformat */
{OBJ r;
 {OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x10;OBJ x11;OBJ x12;
  if(ISTGPRM(x2,1)){
   CPCLS(__AStringFormat_96,1);
   x5=__ABUILTIN_3;
  }else{
   CPCLS(__AStringFormat_96,1);
   x5=__ABUILTIN_5;}
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_96,1))(__AStringFormat_96,__ABUILTIN_20);
  x7=_AString_12(x4);
  if(ISTGPRM(x1,1)){
   COPY(__AString_8,1);
   x8=__AString_8;
  }else{
   CPCLS(__AStringFormat_97,1);
   x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_97,1))(__AStringFormat_97,__ABUILTIN_20);}
  if(ISTGPRM(x5,1)){
   COPY(__AString_8,1);
   x10=__AString_8;
  }else{
   {OBJ x9;
    ANatConv_1(x3,x9);
    x10=_AString_49(x9);}}
  x11=_AString_24(x10,x7);
  x12=_AString_24(x8,x11);
  r=_AString_24(x6,x12);}
 return r;}

extern OBJ _AStringFormat_61(OBJ x1,OBJ x2) /* :: */
{OBJ r;
 {OBJ x3;
  x3=_AString_12(x2);
  r=_AString_24(x1,x3);}
 return r;}

extern OBJ _AStringFormat_62(OBJ x1,OBJ x2) /* ::,1 */
{OBJ r;
 CPCLS(__AStringFormat_98,1);
 {OBJ x3;OBJ x4;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_98,1))(__AStringFormat_98,__ABUILTIN_20);
  ANat_78(x1,x3,x4);
  if(ISTGPRM(x4,1)){
   {OBJ x5;
    ANatConv_2(x1,x5);
    r=_AString_2(x5,x2);}
  }else{
   HLT("format\'StringFormat: Hex or Oct Character # too large");}}
 return r;}

extern OBJ _AStringFormat_63(OBJ x1) /* check */
{OBJ r;
 CPCLS(__AStringFormat_99,1);
 {OBJ x2;OBJ x3;
  x2=(*(OBJ(*)(OBJ,OBJ))METHOD(__AStringFormat_99,1))(__AStringFormat_99,__ABUILTIN_20);
  ANat_78(x1,x2,x3);
  if(ISTGPRM(x3,1)){
   ANatConv_2(x1,r);
  }else{
   HLT("\'StringFormat Hex or Oct Character # too large");}}
 return r;}

extern TUP2 _AStringFormat_64(OBJ x1,OBJ x2,OBJ x3) /* - */
{TUP2 r;
 if(ISTGPRM(x1,1)){
  ANat_62(x2,x3,r.c2);
  r.c1=__ABUILTIN_5;
 }else{
  r.c1=__ABUILTIN_3;r.c2=x2;}
 return r;}
extern OBJ _AStringFormat_64_c(OBJ x1,OBJ x2,OBJ x3) /* - */
{OBJ r;
 {TUP2 t=_AStringFormat_64(x1,x2,x3);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern OBJ _AStringFormat_65(OBJ x1,OBJ x2) /* zero? */
{OBJ r;
 if(ISTGPRM(x1,1)){
  ANat_76(x2,__ANat_5,r);
 }else{
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AStringFormat_66(OBJ x1,OBJ x2) /* substringTo */
{OBJ r;
 if(ISPRM(x1)){
  r=__AString_6;
 }else{
  {OBJ x21;
   ANat_6(x2,x21);
   if(ISTGPRM(x21,1)){
    {OBJ x22;
     x22=_AString_5(x1);
     r=_AString_12(x22);}
   }else{
    {OBJ x23;
     ANat_3(x2,x23);
     if(ISTGPRM(x23,1)){
      CPPRD(x1,1);
      {OBJ x24;OBJ x25;OBJ x26;OBJ x27;
       ANat_4(x2,x24);
       x25=_AString_4(x1);
       x26=_AString_5(x1);
       x27=_AStringFormat_66(x25,x24);
       r=_AString_2(x26,x27);}
     }else{
      HLT("StringFormat at <572,5-15> : missing else in substringTo\'StringFormat:string**nat->string");}}}}}
 return r;}

extern OBJ _AStringFormat_67(register OBJ x1,register OBJ x2) /* substringFrom */
{OBJ r;
 for(;;){
  if(ISPRM(x1)){
   {OBJ x16;
    ANat_6(x2,x16);
    r=__AString_6;}
  }else{
   {OBJ x20;
    ANat_6(x2,x20);
    if(ISTGPRM(x20,1)){
     r=x1;
    }else{
     {OBJ x21;
      ANat_3(x2,x21);
      if(ISTGPRM(x21,1)){
       {OBJ x22;OBJ x23;
	ANat_4(x2,x22);
	x23=_AString_4(x1);
	x1=x23;x2=x22;continue;}
      }else{
       HLT("StringFormat at <577,5-17> : missing else in substringFrom\'StringFormat:string**nat->string");}}}}}
  break;}
 return r;}

extern TUP2 _AStringFormat_68(register OBJ x1,register OBJ x2) /* normalisiert */
{TUP2 r;
 for(;;){
  CPPRD(__AReal_2,1);
  CPPRD(x1,1);
  {OBJ x3;
   AReal_92(x1,__AReal_2,x3);
   if(ISTGPRM(x3,1)){
    FRPRD(x1,1);
    CPPRD(__AReal_2,1);
    r.c1=__AReal_2;r.c2=__AInt_2;
   }else{
    CPPRD(x1,1);
    CPPRD(__AReal_12,1);
    {OBJ x4;OBJ x5;
     AReal_94(x1,__AReal_12,x4);
     if(ISTGPRM(x4,1)){
      CPPRD(x1,1);
      CPPRD(__AReal_3,1);
      AReal_93(x1,__AReal_3,x5);
     }else{
      x5=__ABUILTIN_3;}
     if(ISTGPRM(x5,1)){
      r.c1=x1;r.c2=x2;
     }else{
      CPPRD(x1,1);
      CPPRD(__AReal_12,1);
      {OBJ x6;
       AReal_93(x1,__AReal_12,x6);
       if(ISTGPRM(x6,1)){
	CPPRD(__AReal_12,1);
	{OBJ x7;OBJ x8;
	 AReal_62(x1,__AReal_12,x7);
	 AInt_56(x2,__AInt_3,x8);
	 x1=x7;x2=x8;continue;}
       }else{
	CPPRD(x1,1);
	CPPRD(__AReal_3,1);
	{OBJ x9;
	 AReal_94(x1,__AReal_3,x9);
	 if(ISTGPRM(x9,1)){
	  CPPRD(__AReal_12,1);
	  {OBJ x10;OBJ x11;
	   AReal_61(x1,__AReal_12,x10);
	   AInt_57(x2,__AInt_3,x11);
	   x1=x10;x2=x11;continue;}
	 }else{
	  HLT("StringFormat at <588,8-590,43> : missing else in normalisiert\'StringFormat:real**int->real**int");}}}}}}}}
  break;}
 return r;}
extern OBJ _AStringFormat_68_c(OBJ x1,OBJ x2) /* normalisiert */
{OBJ r;
 {TUP2 t=_AStringFormat_68(x1,x2);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern OBJ _AStringFormat_69(OBJ x1) /* addzeros'69 */
{OBJ r;
 AChar_19(x1,__APrintableChar_8,r);
 return r;}

extern OBJ _AStringFormat_71(OBJ x1) /* RzuString'71 */
{OBJ r;
 CPPRD(__AStringFormat_70,1);
 r=_AString_49(__AStringFormat_70);
 return r;}

extern OBJ _AStringFormat_72(OBJ x1) /* prec'72 */
{OBJ r;
 CPPRD(__AReal_3,1);
 CPPRD(__AReal_4,1);
 AReal_62(__AReal_3,__AReal_4,r);
 return r;}

extern OBJ _AStringFormat_74(OBJ x1) /* STRING'74 */
{OBJ r;
 AChar_19(x1,__APrintableChar_25,r);
 return r;}

extern OBJ _AStringFormat_76(OBJ x1) /* FORMATBOOL'76 */
{OBJ r;
 CPPRD(__AStringFormat_75,1);
 r=_AString_49(__AStringFormat_75);
 return r;}

extern OBJ _AStringFormat_77(OBJ x1) /* FORMATBOOL'77 */
{OBJ r;
 CPPRD(__AStringFormat_70,1);
 r=_AString_49(__AStringFormat_70);
 return r;}

extern OBJ _AStringFormat_79(OBJ x1) /* FORMATBOOL'79 */
{OBJ r;
 CPPRD(__AStringFormat_78,1);
 r=_AString_49(__AStringFormat_78);
 return r;}

extern OBJ _AStringFormat_81(OBJ x1) /* FORMATBOOL'81 */
{OBJ r;
 CPPRD(__AStringFormat_80,1);
 r=_AString_49(__AStringFormat_80);
 return r;}

extern OBJ _AStringFormat_83(OBJ x1) /* FORMATBOOL'83 */
{OBJ r;
 CPPRD(__AStringFormat_82,1);
 r=_AString_49(__AStringFormat_82);
 return r;}

extern OBJ _AStringFormat_85(OBJ x1) /* FORMATBOOL'85 */
{OBJ r;
 CPPRD(__AStringFormat_84,1);
 r=_AString_49(__AStringFormat_84);
 return r;}

extern OBJ _AStringFormat_87(OBJ x1) /* FORMATREAL3'87 */
{OBJ r;
 CPPRD(__AStringFormat_86,1);
 r=_AString_49(__AStringFormat_86);
 return r;}

extern OBJ _AStringFormat_89(OBJ x1) /* FORMATREAL3'89 */
{OBJ r;
 CPPRD(__AStringFormat_88,1);
 r=_AString_49(__AStringFormat_88);
 return r;}

extern OBJ _AStringFormat_91(OBJ x1) /* FORMATREAL3'91 */
{OBJ r;
 CPPRD(__AStringFormat_90,1);
 r=_AString_49(__AStringFormat_90);
 return r;}

extern OBJ _AStringFormat_93(OBJ x1) /* FORMATREAL3'93 */
{OBJ r;
 CPPRD(__AStringFormat_92,1);
 r=_AString_49(__AStringFormat_92);
 return r;}

extern OBJ _AStringFormat_94(OBJ x1) /* FORMATREAL2'94 */
{OBJ r;
 AChar_15(x1,__APrintableChar_8,r);
 return r;}

extern OBJ _AStringFormat_95(OBJ x1) /* FORMATREAL1'95 */
{OBJ r;
 ANatConv_4(__ANat_59,r);
 return r;}

extern OBJ _AStringFormat_96(OBJ x1) /* scanformat'96 */
{OBJ r;
 r=_AString_12(__APrintableChar_25);
 return r;}

extern OBJ _AStringFormat_97(OBJ x1) /* scanformat'97 */
{OBJ r;
 r=_AString_12(__APrintableChar_27);
 return r;}

extern OBJ _AStringFormat_98(OBJ x1) /* ::,1'98 */
{OBJ r;
 ACharConv_2(__AChar_3,r);
 return r;}

extern OBJ _AStringFormat_99(OBJ x1) /* check'99 */
{OBJ r;
 ACharConv_2(__AChar_3,r);
 return r;}


static OBJ _mt_9_0_9(OBJ t,OBJ t1,OBJ t2,OBJ t3,OBJ t4,OBJ t5,OBJ t6,OBJ t7,OBJ t8,OBJ t9) 
{OBJ r;
 DCCLS(t,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))ENTRY(t))(t1,t2,t3,t4,t5,t6,t7,t8,t9);
 return r;}

init_AStringFormat()
{
 static int visited=0; if(visited) return; visited=1;
 init_ANat();
 init_AInt();
 init_AReal();
 init_AChar();
 init_AString();
 init_ASeq();
 init_ABTUnion();
 init_AOption();
 init_ACharConv();
 init_AStringConv();
 init_AStringIndex();
 init_AStringFilter();
 init_APrintableChar();
 init_ANatConv();
 init_AIntConv();
 init_ARealConv();
 init_ADenotation();
 init_AStringMapSeq();
 LCLS(1,_AStringFormat_95,__AStringFormat_95);
 CLS(3,_AStringFormat_31,__AStringFormat_31);
 CLS(1,_AStringFormat_63,__AStringFormat_63);
 CLS(1,_AStringFormat_94,__AStringFormat_94);
 CLS(1,_AStringFormat_30,__AStringFormat_30);
 CLS(2,_AStringFormat_62,__AStringFormat_62);
 LCLS(1,_AStringFormat_93,__AStringFormat_93);
 CLS(1,_AStringFormat_29,__AStringFormat_29);
 CLS(2,_AStringFormat_61,__AStringFormat_61);
 DEN(".",__AStringFormat_92);
 CLS(1,_AStringFormat_28,__AStringFormat_28);
 CLS(4,_AStringFormat_60,__AStringFormat_60);
 LCLS(1,_AStringFormat_91,__AStringFormat_91);
 CLS(1,_AStringFormat_27,__AStringFormat_27);
 CLS(5,_AStringFormat_59,__AStringFormat_59);
 DEN(" ",__AStringFormat_90);
 CLS(1,_AStringFormat_26,__AStringFormat_26);
 CLS(3,_AStringFormat_58,__AStringFormat_58);
 LCLS(1,_AStringFormat_89,__AStringFormat_89);
 CLS(1,_AStringFormat_25,__AStringFormat_25);
 CLS(1,_AStringFormat_57_c,__AStringFormat_57);
 DEN("+",__AStringFormat_88);
 CLS(1,_AStringFormat_24,__AStringFormat_24);
 CLS(1,_AStringFormat_56_c,__AStringFormat_56);
 LCLS(1,_AStringFormat_87,__AStringFormat_87);
 CLS(1,_AStringFormat_23,__AStringFormat_23);
 CLS(1,_AStringFormat_55_c,__AStringFormat_55);
 DEN("-",__AStringFormat_86);
 CLS(1,_AStringFormat_22,__AStringFormat_22);
 CLS(1,_AStringFormat_54_c,__AStringFormat_54);
 LCLS(1,_AStringFormat_85,__AStringFormat_85);
 CLS(1,_AStringFormat_21,__AStringFormat_21);
 CLS(1,_AStringFormat_53_c,__AStringFormat_53);
 DEN("false",__AStringFormat_84);
 CLS(9,_AStringFormat_20,__AStringFormat_20);
 CLS(1,_AStringFormat_52_c,__AStringFormat_52);
 LCLS(1,_AStringFormat_83,__AStringFormat_83);
 CLS(1,_AStringFormat_51_c,__AStringFormat_51);
 DEN("FALSE",__AStringFormat_82);
 CLS(1,_AStringFormat_18,__AStringFormat_18);
 CLS(4,_AStringFormat_50,__AStringFormat_50);
 LCLS(1,_AStringFormat_81,__AStringFormat_81);
 CLS(1,_AStringFormat_17,__AStringFormat_17);
 CLS(4,_AStringFormat_49,__AStringFormat_49);
 DEN("true",__AStringFormat_80);
 CLS(1,_AStringFormat_16,__AStringFormat_16);
 CLS(4,_AStringFormat_48,__AStringFormat_48);
 LCLS(1,_AStringFormat_79,__AStringFormat_79);
 CLS(2,_AStringFormat_15,__AStringFormat_15);
 CLS(4,_AStringFormat_47,__AStringFormat_47);
 DEN("TRUE",__AStringFormat_78);
 CLS(1,_AStringFormat_14,__AStringFormat_14);
 CLS(3,_AStringFormat_46_c,__AStringFormat_46);
 LCLS(1,_AStringFormat_77,__AStringFormat_77);
 CLS(2,_AStringFormat_13,__AStringFormat_13);
 CLS(2,_AStringFormat_45,__AStringFormat_45);
 LCLS(1,_AStringFormat_76,__AStringFormat_76);
 CLS(2,_AStringFormat_12,__AStringFormat_12);
 CLS(4,_AStringFormat_44,__AStringFormat_44);
 DEN("1",__AStringFormat_75);
 CLS(2,_AStringFormat_11,__AStringFormat_11);
 CLS(2,_AStringFormat_43,__AStringFormat_43);
 CLS(1,_AStringFormat_74,__AStringFormat_74);
 CLS(2,_AStringFormat_10,__AStringFormat_10);
 CLS(4,_AStringFormat_42,__AStringFormat_42);
 DEN("",__AStringFormat_73);
 CLS(2,_AStringFormat_9,__AStringFormat_9);
 CLS(4,_AStringFormat_41,__AStringFormat_41);
 LCLS(1,_AStringFormat_72,__AStringFormat_72);
 CLS(2,_AStringFormat_8,__AStringFormat_8);
 CLS(4,_AStringFormat_40,__AStringFormat_40);
 LCLS(1,_AStringFormat_71,__AStringFormat_71);
 CLS(2,_AStringFormat_7,__AStringFormat_7);
 CLS(4,_AStringFormat_39,__AStringFormat_39);
 DEN("0",__AStringFormat_70);
 CLS(2,_AStringFormat_6,__AStringFormat_6);
 CLS(4,_AStringFormat_38,__AStringFormat_38);
 CLS(1,_AStringFormat_69,__AStringFormat_69);
 CLS(2,_AStringFormat_5,__AStringFormat_5);
 CLS(5,_AStringFormat_37,__AStringFormat_37);
 CLS(2,_AStringFormat_68_c,__AStringFormat_68);
 CLS(2,_AStringFormat_4,__AStringFormat_4);
 CLS(4,_AStringFormat_36,__AStringFormat_36);
 LCLS(1,_AStringFormat_99,__AStringFormat_99);
 CLS(1,_AStringFormat_35,__AStringFormat_35);
 CLS(2,_AStringFormat_67,__AStringFormat_67);
 LCLS(1,_AStringFormat_98,__AStringFormat_98);
 CLS(2,_AStringFormat_66,__AStringFormat_66);
 CLS(2,_AStringFormat_2,__AStringFormat_2);
 CLS(5,_AStringFormat_34,__AStringFormat_34);
 LCLS(1,_AStringFormat_97,__AStringFormat_97);
 CLS(2,_AStringFormat_65,__AStringFormat_65);
 CLS(2,_AStringFormat_1,__AStringFormat_1);
 CLS(4,_AStringFormat_33,__AStringFormat_33);
 LCLS(1,_AStringFormat_96,__AStringFormat_96);
 CLS(3,_AStringFormat_64_c,__AStringFormat_64);
 MTH(9,0,9,_mt_9_0_9);LZYMTH(9,0,9,_mt_9_0_9);
 PRD1F(9,__AStringFormat_32);FLD1(__AStringFormat_32,1)=__ABUILTIN_3;FLD1(__AStringFormat_32,2)=__ABUILTIN_3;FLD1(__AStringFormat_32,3)=__ABUILTIN_3;FLD1(__AStringFormat_32,4)=__ABUILTIN_3;FLD1(__AStringFormat_32,5)=__ABUILTIN_3;FLD1(__AStringFormat_32,6)=__ABUILTIN_3;FLD1(__AStringFormat_32,7)=__ANat_5;FLD1(__AStringFormat_32,8)=__ABUILTIN_3;FLD1(__AStringFormat_32,9)=__ANat_5;}

